Basic category theory for computer scientists /
Pierce, Benjamin C.
Cambridge, Mass. ; London : The MIT Press,
c1991.