| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Abstraction and Specification in Program Development | 978-0-262-12112-5 | 1986 | Barbara Liskov | |
| Introduction To Computation And Programming Using Python | 978-0-262-51963-2 | 2013 | ||
| Introduction to Computation and Programming Using Python | 978-0-262-52500-8 | 2013 | ||
| Larch: Languages and Tools for Formal Specification | 978-0-387-94006-9 | 1993 | James J. Horning | |
| Larch, Languages and Tools for Formal Specification | 978-3-540-94006-7 | 1993 | " | |
| Research Directions in Computer Science: An MIT Perspective | 978-0-262-13257-2 | 1991 | Albert Meyer · Ronald L. Rivest · Peter Szolovits | |
J. G. · J.V. · J. V. Guttag · John G. · John Guttag · John V.