| title | media type | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|---|
| Games and Full Abstraction for a Functional Metalanguage with Recursive Types | Paperback | 978-1-4471-1165-8 (1-4471-1165-6) | 2013 | |
| Games and Full Abstraction for a Functional Metalanguage with Recursive Types | Gebunden | 978-3-540-76255-3 (3-540-76255-8) | 1998 |