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