Foundations Of Software Science And Computation Structures door M. Nielsen & U. Engberg