C.R. · Charles Rattray · Evelyn Childs Rattray
Oxford University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Specification and Verification of Concurrent Systems | 978-0-387-19581-0 (0-387-19581-5) | 1990 | |
| The Unified Computation Laboratory: Modelling, Specifications and Tools | 978-0-19-853684-0 (0-19-853684-4) | 1992 | Robert G. Clark |