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

by Burstall J Goguen
Venue:In: Category Theory and Computer Programing. Volume 240 of Springer LNCS