Elsevier
Theoretical Computer Science
Computer Security

Abraham, E, de Boer, F.S, de Roever, W.P, & Steffen, M. (2005). An assertion-based proof system for multithreaded Java. Theoretical Computer Science, 331(2-3), 251–290.