"A Declarative Conceptual Modelling Language: Description and Example ..."

Marco A. Casanova, Andrea S. Hemerly, Antonio L. Furtado (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics