A Category-Theoretic Approach to the Semantics of Programming Languages (1982)

by F J Oles