THE SCIENCE OF COMPUTING. EXPLORING THE NATURE AND POWER OF ALGORITHMS - Harel, David (Addison-Wesley Publishing, 1989)