Robert D. Tennent Functor - Category Semantics of Programming Languages and Logics. 206-224 1985 conf/ctcs/1985 CTCS db/conf/ctcs/ctcs1985.html#Tennent85