Application of Category Theory to Programming and Program Specification (1981)

by D E Rydeheard