@InProceedings{Saaltink:1997:OOBS,
  author =       "Mark Saaltink and Bran Selic",
  title =        "A Semantic Framework for Behavioural Specifications",
  pages =        "155--162",
  booktitle =    "Proceedings OOPSLA'97 Workshop on Object-oriented
                  Behavioral Semantics",
  editor =       "Haim Kilov and Bernhard Rumpe and Ian Simmonds",
  publisher =    "Technische Universit{\"a}t M{\"u}nchen, TUM-I9737",
  year =         "1997",
}