| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics | 978-0-387-18657-3 (0-387-18657-3) | 1988 | |
| MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics | 978-3-540-18657-1 (3-540-18657-3) | 1987 |