1. Foundations of Algebraic Specification and Formal Software Development;Sannella,2012
2. Introduction to Higher Order Categorical Logic;Lambek,1986
3. Introducing institutions;Goguen,1983
4. Institutions: abstract model theory for specification and programming;Goguen;J. ACM,1992
5. Institution morphisms;Goguen;Form. Asp. Comput.,2002