Patrick J. Hayes. Simple and Structural Redundancy in Non-Deterministic Computation. In Jacques Loeckx, editor, Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974, Proceedings. Volume 14 of Lecture Notes in Computer Science, pages 601-611, Springer, 1974.
Abstract is missing.