The Science Of Computing : Exploring The Nature And Power Of Algorithms - David Harel (Addison-Wesley Publishing, 1989)