@InProceedings{Bicarregui:1997:PSOOMT,
  author =       "Juan Bicarregui and Kevin Lano and Tom Maibaum",
  title =        "Formalising Object-Oriented Models in the Object
                  Calculus",
  pages =        "45--51",
  booktitle =    "Proceedings ECOOP'97 Workshop on Precise Semantics for
                  Object-Oriented Modeling Techniques",
  editor =       "Haim Kilov and Bernhard Rumpe",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9725",
  year =         "1997",
}