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