L. Mandel, and M. Victoria. World Congress on Formal Methods, 1708/1999, page 713. Toulouse, France, (September 1999)Dated as it refers to OCL 1, which lacked tuples.
S. Greenspan, J. Mylopoulos, and A. Borgida. International conference on Software engineering, page 225--234. Tokyo, IEEE Computer Society Press, (1982)
S. Greenspan, J. Mylopoulos, and A. Borgida. International conference on Software engineering, page 135--147. Los Alamitos, CA, USA, IEEE Computer Society Press, (1994)