Generalising interpretations between theories in the context of (pi-) institutions (1993)

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