Andrzej Tarlecki Bits and Pieces of the Theory of Institutions. 1986 ADT db/conf/adt/adt1986.html#Tarlecki86