| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| A Formalisation of Design Methods: A Gamma-Calculus Approach to Systems Design With an Application to Text Editing | Hardcover | 978-0-13-106113-2 | 1993 | |
| Formal Specification and Design | Printed Access Code | 978-0-511-56977-7 | 2009 | H. B. M. Jonkers |
| Formal Specification and Design | Paperback | 978-0-521-43592-5 | 2008 | |
| Formal Specification and Design | Hardcover | 978-0-521-43457-7 | 1992 | H. B. M. Jonkers |
| Notations for Software Design | Paperback | 978-0-387-19902-3 | 1994 | H. B. M. Jonkers · Cornelis A. Middleburg |
G *** F · L. G · L.M. · Loe M.G. Feijs · M. F. · M G***
Cambridge University Press · Prentice Hall · Springer