Great ideas in computer science : a gentle introduction - Biermann, Alan W. (The MIT Press, 2000)