1. Brucker, A.D.: An Interactive Proof Environment for Object-oriented Specifications. Ph.d. thesis, ETH Zurich (March 2007), ETH Dissertation No. 17097,
http://www.brucker.ch/bibliography/abstract/brucker-interactive-2007
2. Brucker, A.D., Wolff, B.: The HOL-OCL book. Technical Report 525, ETH Zurich (2006),
http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-ocl-book-2006
3. Brucker, A.D., Doser, J., Wolff, B.: An MDA framework supporting OCL. Electronic Communications of the EASST, 5 (2006), ISSN 1863-2122,
http://www.brucker.ch/bibliography/abstract/brucker.ea-mda-2006-b
4. Object Management Group. UML 2.0 OCL specification, October 2003, Available as OMG document ptc/03-10-14
5. Object Management Group. Unified modeling language specification (version 1.5) (March 2003), Available as OMG document, formal/03-03-01