Categories for Software Engineering - Fiadeiro, JosΓ© Luiz (Springer-Verlag Berlin Heidelberg, 2005)