Algorithmics : the spirit of computing - Harel, David 1950- (Addison-Wesley, 1987)