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