A. Poigné
-
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)