Algorithmics The spirit of computing - Harel David Ed. (1992)