Basic category theory for computer scientists by Pierce, Benjamin C. fromFoundations of computing 0 Type: Book
Equations, models, and programs: a mathematical introduction to computer science by Myers, Thomas J. 0 Type: Book