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