Foundations of Software Science and Computation Structures - BojaÅ„czyk; Simpson, Alex (Springer International Publishing, 2019)