1. Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998. 483
2. Jan Bosch. Language support for design patterns. In TOOLS Europe’96, pages 197–210. Prentice-Hall, 1996. 482
3. James O. Coplien. Software Patterns. SIGS Management Briefings. SIGS Books & Multimedia, 1996. 482
4. Dino Distefano, J.-P. Katoen, and Arend Rensink. On a temporal logic for objectbased systems. Technical report CTIT 00-06, University of Twente, 2000. 488
5. Amnom H. Eden. Precise Specification of Design Patterns and Tool Support in Their Application. PhD thesis, University of Tel Aviv, 1999. 484, 486, 486