Algorithmics <The> Spirit of Computing - Harel, David (Addison-Wesley Publ. Co., 1992)