Category Theory and Computer Programming : proceedings - Poigné, Axel; Pitt, David; Abramsky, Samson (Springer, 1986)
Lit.