Object-oriented software engineering - a use case driven approach. - Ivar Jacobson; Magnus Christerson; Patrik Jonsson; Gunnar Övergaard (Addison-Wesley, 1992)

A Formal Approach to Use Cases and Their Relationships. - Gunnar Övergaard; Karin Palmkvist (UML, 1998)

A Formal Approach to Collaborations in the Unified Modeling Language - Gunnar Övergaard (UML, 1999)

Formal Specification of Object-Oriented Meta-modelling. - Gunnar Övergaard (FASE, 2000)

Interacting Subsystems in UML. - Gunnar Övergaard; Karin Palmkvist (UML, 2000)