Behavioral Specifications of Businesses and Systems
(Based on for international Workshops on Behavioral Modelling of Businesses and Systems, held at ECOOP'97, OOPSLA'97,
ECOOP'98, and OOPSLA'98)
Haim Kilov / Bernhard Rumpe / Ian Simmonds (eds.)
Published by Kluver
Bernhard Rumpe