The science of computing exploring the nature and power of algorithms - Harel, David (Addison-Wesley, 1989)
Includes index.