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

by J Goguen, R Burstall
Venue:Journal of the Association for Computing Machinery