author : Thomas S. E. Maibaum

Books

• The Specification of Computer Programs. 1987, with Wladyslaw M. Turski

Short works

• Compositional structuring in the B Method: A Logical Viewpoint of the Static Context. 2000. (In ZB 2000 )
• Towards dynamic population management of abstract machines in the B method. 2003. (In ZB 2003 )