Foundations of Software Science and Computation Structures - Bojańczyk, Mikołaj (Springer International Publishing, 2020)