John C. Shepherdson
-
Computational processes, observers and Turing incompleteness
Theoretical Computer Science