"Experimenting with Functional Features of the Object Constraint Language."

Daniel Calegari, Marcos Viera (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics