Categories and computer science /
Walters, R. F. C.
Cambridge : Cambridge University Press,
1992.