Introducing institutions (1983)

by J A Goguen, R M Burstall
Venue:In Logic of Programs