| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Denotational Semantics: A Methodology for Language Development | Paperback | 978-0-697-06849-1 | 1988 | ||
| Denotational semantics: A methodology for language development | " | 978-0-205-08974-1 | 1986 | ||
| Mathematical Foundations of Programming Semantics: 5th International Conference. Tulane University, New Orleans, Louisiana, USA. March 29-April 1, ... | Taschenbuch | 978-3-540-97375-1 | 1990 | Michael G. Main · Austin C. Melton · Michael W. Mislove | |
| Mathematical Foundations of Programming Semantics | Paperback | 978-0-387-97375-3 | 1990 | Michael G. Main · Austin C. Melton · Michael W. Mislove | |
| Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings | Taschenbuch | 978-3-540-61739-6 | 2008 | Radhia Cousot | |
| The Structure of Typed Programming Languages | Gebunden | 978-0-262-19349-8 | 1994 | ||
| The Structure of Typed Programming Languages | Paperback | 978-0-262-69171-0 | 1994 | ||
A.S. · A Schmidt · D.A. · D. A. S. · D S · D. Schmidt · David A. · David Andrew Schmidt · David S. · David Schmidt
Allyn and Bacon · McGraw-Hill · Springer · The MIT Press