Foundations of Software Science and Computation Structures - Baier, Christel (Springer International Publishing, 2020)