Haim Kilov;Bernhard Rumpe;Ian Simmonds
Merrill Lynch, New York, NY;Technische Univ. München, Munich, Germany;IBM T. J. Watson Research Center, Hawthorne, NY
Object-Oriented Behavioral Specifications