6 works on record
Object-oriented behavioral specifications
Practical foundations of business system specifications
Behavioral specifications of businesses and systems
Business models
Business Specifications
Information modeling
