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