Basic Category Theory for Computer Scientists door Benjamin C. Pierce & Ierce Benjamin