O'Hearn · P. H. · Peter H. · Peter Hearn
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Algol-like Languages 2-volume set | Hardcover | 978-0-8176-3936-5 | 1996 | Peter O'Hearn · Robert Tennent | |
| Algol-like Languages | Paperback | 978-1-4757-3853-7 | 2013 | Peter O'Hearn · Robert Tennent | |
| Algol-like Languages | Hardcover | 978-0-8176-3880-1 | 1996 | Peter O'Hearn · Robert Tennent | |
| Algol-like Languages | " | 978-0-8176-3937-2 | 1996 | Peter O'Hearn · Robert Tennent | |
| A Song for the King: Saraha on Mahamudra Meditation | Paperback | 978-0-86171-503-9 | 2006 | Michele Martin · Peter O'Hearn · Khenchen Thrangu Rinpoche | |
| Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings | Taschenbuch | 978-3-642-15056-2 | 2010 | Gary T. Leavens · Peter O'Hearn · Sriram K Rajamani |
Birkhauser · Springer · Wisdom Publications