B. Weimann, K. Casper, W. Fenzl. Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen. In Peter Deussen, editor, Gesellschaft für Informatik e.V., 2. Jahrestagung, Karlsruhe, Deutschland, 2.-4. Oktober 1972. Volume 78 of Lecture Notes in Economics and Mathematical Systems, pages 72-81, Springer, 1972. [doi]
Abstract is missing.