J. Cabot, A. Olivé, and E. Teniente. International Conference on the Unified Modeling Language (UML), volume 2863 of Lecture Notes in Computer Science, page 44-59. San Francisco, Springer, (October 2003)
D. Akehurst, and B. Bordbar. International Conference on the Unified Modeling Language (UML), 2185/2001, page 91-103. Toronto, (October 2001)Dated; refers to OCL 1. Most suggestions have been implemented in OCL 2..
C. Treude, S. Berlik, S. Wenzel, and U. Kelter. ESEC-FSE '07: Foundations of Software Engineering, page 295--304. Dubrovnik, Croatia, ACM, (September 2007)