Functional Programming Design using Morphisms by Uberto Barbini