1. Lect. Notes Comp. Sci.;J. M. Álvarez,2001
2. Thomas Baar. Experiences with the UML/OCL-Approach to Precise Software Modeling. In Proc. Net.ObjectDays, Erfurt, 2000. http://i12www.ira.uka.de/key/doc/2000/baar00.pdf.gz .
3. Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Mass., &c., 1998.
4. Lect. Notes Comp. Sci.;M. V. Cengarle,2001
5. Stefan Conrad and Klaus Turowski. Temporal OCL: Meeting Specification Demands for Business Components. In Keng Siau and Terry Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, chapter 10, pages 151–166. Idea Publishing Group, 2001.