"Untersuchungen über haltende Programme für Turing-Maschinen mit ..."

B. Weimann, K. Casper, W. Fenzl (1972)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics