author : Stephen J. Goldsack

Books

• Formal Methods and Object Technology. 1996, with Stuart J. H. Kent

Short works

• Integrating VDM++ and Real-Time System Design. 1997. (In ZUM '97 )
• Specification of a Chemical Process Controller in B. 1999. (In Industrial-Strength Formal Methods in Practice )