Oulie
Theory of computation by Dexter Kozen — Oulie