Cristina Sernadas Amílcar Sernadas Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. 121-140 1985 DS-1 db/conf/ds/ds85.html#SernadasS85