1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.
2. H. G. Baker and C. Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987–992. IFIP, Aug. 1977.
3. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic, 1998. URL: http://maude.csl.sri.com .
4. G. Denker and H.-D. Ehrich. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS’97), Volume 2, IFIP TC6 WG6.1 Intern. Workshop, 21–23 July, Canterbury, Kent, UK, pages 89–104. Chapman & Hall, 1997.
5. C. H. C. Duarte. Proof-theoretic Foundations for the Design of Extensible Software Systems. PhD thesis, Imperial College, University of London, 1999.