Machines, languages, and computation - Denning, Peter J. (Prentice-Hall, 1978)