Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras (1996)

by Till Mossakowski
Venue:Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science