Algorithmics: The Spirit of Computing, zoo ed. - Harel, D (Addison Wesley Publ Comp, 1996)