Springer Berlin Heidelberg · The MIT Press
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings: Third International Symposium, SAS ... 3rd | Taschenbuch | 978-3-540-61739-6 (3-540-61739-6) | 2008 | Radhia Cousot | |
| The Structure of Typed Programming Languages | Hardcover | 978-0-262-19349-8 (0-262-19349-3) | 1994 | ||
| The Structure of Typed Programming Languages | Paperback | 978-0-262-69171-0 (0-262-69171-X) | 1994 | ||
A.S. · A Schmidt · D. A. S. · D.S. · D. Schmidt · David A. · David Andrew Schmidt · David S. · David Schmidt