Unifying theories in different institutions (1996)

by M Arrais, J L Fiadeiro
Venue:Recent Trends in Data Type Specification. 11th Workshop on Specification of Abstract Data Types, volume 1130 of LNCS