author : John A. McDermid

Books

• Software Engineer's Reference Book. 1991

Short works

• Using Diagrams to Give a Formal Specification of Timing Constraints in Z. 1993. (In 7th Z User Workshop )
• Towards a Z Method: Axiomatic Specifications in Z. 1994. (In 8th Z User Workshop )
• Formal Specification of an Aerospace System: The Attitude Monitor. 1995. (In Applications of Formal Methods )