Foundations of Software Science and Computation Structures - Aceto, Luca (Springer Berlin / Heidelberg, 2006)