Speci cations in an arbitrary institution, Information and Control 76 (1988)

by D Sannella, A Tarlecki
Venue:in Proc. Internat. Symp. on the Semantics of Data Types, Lecture Notes in Computer Science