Great ideas in computer science A gentle introduction - Biermann Alan W (1997)