ramble
thoughts, drafts, noise
Dexter C. Kozen
Priority: medium
The Design and Analysis of Algorithms