1. Verification for Java's reentrant multithreading concept;Ábrahám-Mumm,2002
2. Agha, G.A., Abstracting interaction patterns: A programming paradigm for open distributed systems, in: E. Najm and J.-B. Stefani, editors, FMOODS (1996), pp. 135–153
3. Compilers: Principles, Techniques, and Tools;Aho,1986
4. Modern concurrency abstractions for C♯;Benton;ACM Transactions on Programming Languages and Systems,2004
5. Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, Proceedings,2007