Institutions: abstract model theory for specification and programming (1992)

by J Goguen, R Burstall
Venue:Journal of the ACM