A Kučera
-
Computational processes, observers and Turing incompleteness
Theoretical Computer Science