The Science of computing : exploring the nature and power of algorithms - Harel, David, 1950- (Addison-Wesley Publishing Company, 1989)