Delftse Foundations of Computation; TU Delft OPEN Books, 2024. https://doi.org/10.59490/tb.92.