Introducing institutions (1984)

by J A Goguen, R M Burstall
Venue:Proc. Logics of Programming Workshop, volume 164 of LNCS