Foundations of Software Science and Computation Structures - Bouyer, Patricia; Schröder, Lutz (Springer International Publishing, 2022)