Robert M. Baer
Computer Science Division, Department of Electrical Engineering University of California, Berkeley, California 94720*, USA and Computer Sciences, University of California, Berkeley, California 947 ...
A Variant to Turing's Theory of Computing Machines
Journal of the ACM (JACM)
The halting problem for linear turing assemblers
Journal of Computer and System Sciences