Foundations of Software Science and Computational Structures