Algorithmics: the spirit of computing/2nd Ed. - Harel, David (Addison-Wesley, 2000)