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