BibTeX-Entry:
@inproceedings{KRS98,
author = {Haim Kilov and Bernhard Rumpe and Ian Simmonds},
title = {Object-Oriented Behavioral Semantics - With an Emphasis on Semantics of Large OO Business Specifications},
booktitle = {OOPSLA'97 Conference Addendum to the Proceedings},
year = {1997},
publisher = {ACM press}
}