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