Thomas V. Griffiths. Turing machine recognizers for general rewriting systems. In Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design, 11-13 November 1964, Princeton, New Jersey, USA. pages 47-56, IEEE, 1964.
Abstract is missing.