Title: Foundations of Software Science and Computational Structures