Derek Andrews

books

A Theory and Practice of Program Development, Springer-Verlag (1997)

Semantics of Specification Languages (Sosl : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands), with J. F. Groote, C. A. Middleburg (ed.), Springer-Verlag (1994)

Practical Formal Methods with VDM, with Darrel Ince, McGraw-Hill (1991)

Formal Methods in Standards: A Report from the BCS Working Group, with D. Blyth, C. Boldreff, D. Duce, P. Hall, R. Neely, C. Ruggles (ed), N. Tetteh-Lartey, R. Thomas and A. Wrightson et al, Springer-Verlag (1990)

The Software Life Cycle, with Darrel Ince (eds), Butterworth Verlag (1991)

Operation Decomposition, with Peter Gibbins, part of An Introduction to Formal Methods of Software Development, The Open University Press (1988)

Data Refinement, part of An Introduction to Formal Methods of Software Development, The Open University Press (1988)

Representing Data, part of An Introduction to Formal Methods of Software Development, The Open University Press (1988)

What is Formal Specifications, part of An Introduction to Formal Methods of Software Development, The Open University Press (1988)

Computers for Non-Scientific Applications, with M. Greehalgh, Leicester University Press (1987)