Basic Category Theory for Computer Scientists - Pierce (MIT Press Cambridge, 1991)
Keywords: COMPUTER_SCIENCE_ENGINEERING