Foundations of Software Science and Computation Structures - Esparza; Murawski, Andrzej S. (Springer Berlin Heidelberg, 2017)