"Towards Efficient Support for Executing the Object Constraint Language."

Philippe Collet, Roger Rousseau (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics