| 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 | T. L. McCluskey |
C.J.G. Turner · G. T. · G. Turner · J. G. · J. T. · J. Turner · James Grantham Turner · Joan G. Turner · John G. Turner · Judy G. Turner · Justin G. Turner