Oulie
The Design and Analysis of Algorithms by Dexter Kozen — Oulie