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