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