Foundations of Software Science and Computational Structures - Amadio, Roberto (Springer Berlin Heidelberg, 2020)