Foundations of Software Science and Computation Structures - Arno Pauly (Springer, 2017)