1. Lect Notes Comput Sci;M. Abadi,1997
2. P.H.M. America and J.J.M.M. Rutten, A Parallel Object-Oriented Language: Design and semantic foundations, PhD thesis, Free University of Amsterdam, 1989.
3. K. Arnold and J. Gosling, The Java programming language, 2nd ed., Addison-Wesley, 1997.
4. K.R. Apt and E.-R. Olderog, Verification of sequential and concurrent programs, Springer-Verlag, 1991.
5. F.S. de Boer, Reasoning about dynamically evolving process structures: A proof theory for the parallel object-oriented language POOL, PhD thesis, Free University of Amsterdam, 1991.