Book

The science of computing

by David Harel