Andy Schürr. New Type Checking Rules for OCL Expressions. In Gregor Engels, Andreas Oberweis, Albert Zündorf, editors, Modellierung 2001, Workshop der Gesellschaft für Informatik e. V. (GI), 28.-30. März 2001 in Bad Lippspringe. Volume 1 of LNI, pages 91-100, GI, 2001.
Abstract is missing.