@InProceedings{Overgaard:1998:FAUCR,
  author =       "Gunnar {\"O}vergaard and Karin Palmkvist",
  title =        "A Formal Approach to Use Cases and their Relationships",
  pages =        "309--317",
  booktitle =    "The Unified Modeling Language, UML'98 - Beyond the
                  Notation. First International Workshop, Mulhouse, France,
                  June 1998",
  editor =       "Jean B{\'e}zivin and Pierre-Alain Muller",
  year =         "1998",
}