| title | media type | ISBN-13 | year of publication |
|---|---|---|---|
| Edinburgh LCF: A mechanised logic of computation | Paperback | 978-0-387-09724-4 | 1979 |
| Programming Language Theory and Its Implementation | " | 978-0-13-730409-7 | 1993 |
| Programming Language Theory and Its Implementation | Hardcover | 978-0-13-730417-2 | 1988 |
| The Denotational Description of Programming Languages: An Introduction | Paperback | 978-0-387-90433-7 | 1984 |
C. G. · C Gordon · J C · J. G. · J. Gordon · M.C. · M G*** · M. Gordon · M J · M. J. C. Gordon · Michael C. · Michael G · Michael Gordon · Michael J. · Michael J. Gordon