Algorithmics : the spirit of computing - Harel, David, 1950- (Addison-Wesley Publishing Company, 1992)