1. Ábrahám, E., “An Assertional Proof System for Multithreaded Java — Theory and Tool Support,” Ph.D. thesis, University of Leiden (2004), defended 20.1.2005
2. Ábrahám, E., F. S. de Boer, W.-P. de Roever and M. Steffen, Inductive proof-outlines for monitors in Java, in: Najm et al. [17], pp. 155–169, a longer version appeared as technical report TR-ST-03-1, April 2003
3. Ábrahám, E., F. S. de Boer, W.-P. de Roever and M. Steffen, Inductive proof outlines for multithreaded Java with exceptions, Technical Report 0313, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel (2003)
4. Ten years of Hoare's logic: A survey – part I;Apt;ACM Transactions on Programming Languages and Systems,1981
5. A proof system for communicating sequential processes;Apt;ACM Transactions on Programming Languages and Systems,1980