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

by J A Goguen, R M Burstall
Venue:In: Category Theory and Computer Programming