Unifying theories in different institutions (1996)

by M Arrais, J-L Fiadeiro
Venue:Recent Trends in Data Type Specifications. Selected Papers, 11th Workshop on Specification of Abstract Data Types ADT’95, Oslo, 1995, LNCS 1130