Practical foundations of business system specificationsHaim Kilov · First published 2003Open the Tome
Behavioral specifications of businesses and systemsHaim Kilov, Bernhard Rumpe · First published 1999Open the Tome