Foundations of Software Science and Computation Structures - Bart Jacobs, Christof Löding (Springer, 2016)