Books by Derek Andrews
Accelerating Pace of Change to
Accelerating Pace of Change to Our Troubled World
The Software life cycle
A theory and practice of program development
Semantics of Specification Lan
Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlan (Communications and Control Engineering Series)
Practical formal methods with VDM
Formal methods in standards
Computing for non-scientific applications