| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Larch: Languages and Tools for Formal Specification | 978-0-387-94006-9 (0-387-94006-5) | 1993 | John V. Guttag | |
| Larch, Languages and Tools for Formal Specification | 978-3-540-94006-7 (3-540-94006-5) | 1993 | " |
J. H. · J J · J.J. Horning · James H. · James J.