Foundation of Software Science and Computation Structures door Jerzy Tiuryn