A study in the foundations of programming methodology: Specifications, institutions, charters and parchments (1985)

by J A Goguen, R M Burstall
Venue:Category Theory and Computer Programming, volume 240 of LNCS