Title: Diagonal theorems for random access machines
First published: 1971