Joseph A. Goguen Rod M. Burstall Institutions: Abstract Model Theory for Specification and Programming. 95-146 1992 39 J. ACM 1 db/journals/jacm/jacm39.html#GoguenB92 http://doi.acm.org/10.1145/147508.147524