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