Jim Arlow and Ila Neustadt. UML~2 and the Unified Process: Practical Object-Oriented Analysis and Design. Addison-Wesley, 2nd edition, 2005.
Ivar Jacobson and Pan-Wei Ng. Aspect-Oriented Software Development with Use Cases, Addison-Wesley, 2005.
Alistair Cockburn. Writing Effective Use Cases. Addison-Wesley, 2000.
Gunnar Overgaard and Karin Palmkvist. Use Cases: Patterns and Blueprints, Addison-Wesley, 2005.
Suzanne Robertson and James Robertson. Mastering the Requirements Process. Addison-Wesley, 2nd edition, 2005.
Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, 2nd edition, 1997.
J. M. Spivey. The Z Notation: Reference Manual. Prentice Hall, 1992.
Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996.
Trygve Reenskaug. Working With Objects: The OOram Software Engineering Method. Prentice Hall, 1995.
Krzysztof Czarnecki and Ulrich Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000. [PhD. thesis]
Martin Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley, 3rd edition, 2003.