Foundations of Software Science and Computation Structures - Christel Baier, Ugo Dal Lago (Springer International Publishing, 2018)