Software Requirements: Objects, Functions, and States, Alan M. Davis

Software Requirements: Analysis and Specification, Alan M. Davis

The Safety of Objects, A.M. Homes

Software Requirements, E-Karl Wiegers

Formal Techniques for Distributed Objects, Components, and Systems, Ahmed Bouajj

Objects, Components, and Frameworks with UML: The Catalysis(SM) Approach, Desmon

Objects and Databases, Petr Kroha

Software Requirements: Styles and Techniques, Soren Lauesen