"Correct Realization of Interface Constraints with OCL."

Françoise Tort et al. (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics