A Modal System of Algebras for Database Specification and Query/Update Language Support. - Forouzan Golshani; T. S. E. Maibaum; M. R. Sadler (VLDB, 1983)

Axiomatizing Specification Theory. - T. S. E. Maibaum; M. R. Sadler (ADT, 1984)

Logical Specification and Implementation. - T. S. E. Maibaum; M. R. Sadler; Paulo A. S. Veloso (FSTTCS, 1984)

Database Specification. - Samit Khosla; T. S. E. Maibaum; M. R. Sadler (DS-1, 1985)

Large Database Specification from Small Views. - Samit Khosla; T. S. E. Maibaum; M. R. Sadler (FSTTCS, 1985)

A Theory of Abstract Data Types for Program Development: Bridging the Gap? - T. S. E. Maibaum; Paulo A. S. Veloso; M. R. Sadler (TAPSOFT, Vol.2, 1985)

A Defense of Proof Theory as the Right Foundations. - M. R. Sadler (ADT, 1986)

Formal Methods: A Commentary. - Tom Maibaum; Martin R. Sadler (J. Inf. Technol., 1987)