Algorithmics.- 2nd ed. : the spirit of computing - Harel, David (Addison-Wesley, 2003)