Algorithmics : The Spirit of Computing - David Harel (Addison-Wesley Publishing, 1987)