Institutions: Abstract model theory for computer science (1992)

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