1. Lecture Notes in Computer Science;L. Andrade,2003
2. Bergstra, J.A., Klop, J.W.: Process Algebra for Synchronous Communication. Information and Control 60(1–3), 109–137 (1984)
3. Lecture Notes in Computer Science;G. Bernot,1996
4. Lect. Notes Comp. Sci.;M. Boreale,2006
5. Broy, M., Cengarle, M.V., Rumpe, B.: Semantics of UML – Towards a System Model for UML: The Structural Data Model. Technical Report TUM-I0612, Institut für Informatik, Technische Universität München (June 2006)