Foundations Of Software Science And Computational Structures by