On Message Specifications in OCL

Marcel Kyas, Frank S. de Boer. On Message Specifications in OCL. Electronic Notes in Theoretical Computer Science, 101:73-93, 2004. [doi]