Categories and Computer Science by Richard F. Walters