Bits and pieces of the theory of institutions (1986)

by Andrzej Tarlecki
Venue:Proceedings of the Tutorial and Workshop on Category Theory and Computer Programming, Guildford, Lecture Notes in Computer Science