RT Book, Whole DB /z-wcorg/ DS http://worldcat.org ID 008206734 LA English T1 Lectures on a mathematical theory of computation A1 Scott, Dana S., PB Oxford University Computing Laboratory PP Oxford, U.K. YR 1981