Outline of a mathematical theory of computation
Scott, Dana.
Oxford Oxford University Computing Laboratory, Programming Research Group
1970
Programming languages (Electronic computers)