Basic Category Theory for Computer Scientists - Pierce (IEEE, 2003)