Categories for Software Engineering - José Luiz Fiadeiro (Springer)