Co-Refinement. - Mike Ainsworth; Peter J. L. Wallis (Refine, 1994)

Viewpoint specification and Z. - Mike Ainsworth; A. H. Cruickshank; Peter J. L. Wallis; Lindsay J. Groves (Inf. Softw. Technol., 1994)

Formal validation of viewpoint specifications. - Mike Ainsworth; Steve Riddle; Peter J. L. Wallis (Softw. Eng. J., 1996)

Prototyping versus Formal Development. - Mike Ainsworth (SSS, 2008)