Title: Applications of category theory to programming and program specification
Subjects: Categories (Mathematics), Computer programming