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