3 works on record
Category theory and computer science
Computational category theory
Applications of category theory to programming and program specification