Generalising Interpretations between Theories in the context of (pi-) Institutions (1993)

by J Fiadeiro, T S E Maibaum
Venue:In: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods