CATEGORY THEORY FOR COMPUTING SCIENCE - Barr,Michael; Wells,Charles (Prentice-Hall International, London, 1995)
Keywords: Electronic Data Processing -- Mathematics; Catagories (Mathematics)