1. Jacobson, I.: Basic Use-Case Modeling (Continued). Report on Object Analysis & Design 1(3) (September-October 1994)
2. Jacobson, I., Christerson, M., Jonsson, P., Övergaard, G.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading (1993)
3. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I. Information and Computation 100, 1–40 (1992)
4. Övergaard, G.: A Formal Approach to Relationships in the Unified Modeling Language. In: Broy, M., Coleman, D., Maibaum, T.S.E., Rumpe, B. (eds.) Proceedings PSMT 1998 Workshop on Precise Semantics for Software Modelling Techniques, Technische Universität, München, Germany, TUM-19803 (April 1998)
5. Unified Modeling Language, version 1.1 (September 1997), On-line documentation is found at
http://www.rational.com/uml/documentation.html