The essence of program design - Bell, Doug 1944- (Essence of computing series, 1997)