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

by Joseph Goguen, Rod Burstall
Venue:Proceedings, Conference on Category Theory and Computer Programming