Foundations of Software Science and Computation Structures - Kiefer (Springer International Publishing, 2021)