Foundations of Software Science and Computation Structures - Parosh Aziz Abdulla (Springer Nature Switzerland, 2025)