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