Foundations of Software Science and Computation Structures - Kupferman, Orna (Springer Nature Switzerland, 2023)