Category theory for computing science /
Barr, Michael.
Wells, Charles.
London : Prentice Hall,
1995.