C.: Category Theory for Computing Science, Third Edition (1999)

by M Barr, Wells
Venue:Montréal, Les Publications CRM