Haim Kilov

Behavioral Specifications of Businesses and Systems

2011

Practical foundations of business system specifications

2003

Business Specifications

1999

Object-oriented behavioral specifications

1996