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