Delftse Foundations of Computation. TU Delft OPEN Books, 2018. doi: 10.5074/t.isbn.9789463660839.