Cambridge University Press · Springer
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic | Hardcover | 978-0-521-44189-6 (0-521-44189-7) | 1993 | T. F. Melham | |
| The Denotational Description of Programming Languages: An Introduction | Paperback | 978-0-387-90433-7 (0-387-90433-6) | 1987 | ||
| The Denotational Description of Programming Languages: An Introduction | Taschenbuch | 978-3-540-90433-5 (3-540-90433-6) | 1979 | ||
C. G. · C Gordon · J C · J. G. · J. Gordon · M.C. · M G*** · M. Gordon · M J · Michael J.C. Gordon