| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches | 978-O-O7-7O7735-8 (O-O7-7O7735-O) | 1993 | J. G. Turner |
L.M. · T. M · Thomas Leo McCluskey