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