Generalising interpretations between Theories in the Context of (-)institutions (1993)

by J L Fiadeiro, T S E Maibaum
Venue:Theory and Formal Methods