| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Behavioral Specifications of Businesses and Systems | 978-0-7923-8629-2 | 1999 | Bernhard Rumpe · Ian Simmonds |
| Business Models: A Guide for Business and IT | 978-0-13-062135-1 | 2002 | |
| Business Specifications: The Key to Successful Software Engineering | 978-0-13-079844-2 | 1998 | |
| Information Modeling: An Object-Oriented Approach | 978-0-13-083033-3 | 1994 | James Ross |
| Object-Oriented Behavioral Specifications | 978-0-7923-9778-6 | 1996 | William Harvey |