Using limits of parchments to systematically construct institutions of partial algebras (1996)

by T Mossakowski
Venue:Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, LNCS. To appear