Introducing institutions (1984)

by J A Goguen, R M Burstall
Venue:Proc. of the Workshop on Logics of Programming, Springer-Verlag LNCS 164