Foundations of Software Science and Computation Structures - Bouyer (Springer International Publishing, 2022)