"Behavioral Specifications of Businesses and Systems"

Haim Kilov, Bernhard Rumpe, Ian Simmonds (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics