Title: Applications of category theory to programming and program specification
First published: 1981
Subjects: Programming (Electronic computers), Categories (Mathematics)