Basic category theory for computer scientists - Pierce, Benjamin C. (MIT Press, 1991)
Includes bibliographical references (p. 81-91) and index