Bits and pieces of the theory of institutions (1986)

by Andrzej Tarlecki
Venue:Proceedings, Summer Workshop on Category Theory and Computer Programming