David E. Rydeheard Functors and Natural Transformations. 43-50 1985 conf/ctcs/1985 CTCS db/conf/ctcs/ctcs1985.html#Rydeheard85