Foundations of Software Science and Computation Structures - Goubault-Larrecq; König, Barbara (Springer International Publishing, 2020)