Outline of a mathematical theory of computation by Dana S. Scott. ISBN 0902928015. Published by Oxford University Computing Laboratory, Programming Research Group in 1970. Publication and catalogue information, links to buy online and reader comments.