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