Outline of a mathematical theory of computation. Technical Monograph PRG–2, Programming Research (1970)

by Dana S Scott
Venue:Group, Oxford University Computing Laboratory