author : R. Geoff Dromey

Books

• How to Solve it by Computer. 1982
• Program Derivation: the development of programs from specifications. 1989