G.M. · G. Malcolm · Grant M · Malcolm Grant
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Algebraic Semantics of Imperative Programs | 978-0-262-07172-7 (0-262-07172-X) | 1996 | Joseph A. Goguen |
| Software Engineering with OBJ: Algebraic Specification in Action | 978-0-7923-7757-3 (0-7923-7757-5) | 2000 | " |