Foundations Of Software Science And Computation Structures door I. Walukiewicz