Haim Kilov, Bernhard Rumpe, Ian Simmonds. Seventh OOPSLA workshop on behavioral semantics of OO business and system specifications. In James Haungs, editor, Addendum to the 1998 Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 1998 Addendum, Vancouver, British Columbia, Canada, October 18-22, 1998. ACM, 1998. [doi]
Abstract is missing.