R M Burstall
-
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)