Cambridge University Press · Springer
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Formal Specification and Design | Printed Access Code | 978-0-511-56977-7 (0-511-56977-7) | 2009 | L. M. G. Feijs |
| Formal Specification and Design | Hardcover | 978-0-521-43457-7 (0-521-43457-2) | 1992 | " |
| Notations for Software Design | Paperback | 978-0-387-19902-3 (0-387-19902-0) | 1994 | L. M. G. Feijs · Cornelis A. Middleburg |
B. M. · H. B · H.J. · H. M. · Hans B.M. Jonkers · M J