Representing the knowledge of Turing machines
scientific article; zbMATH DE number 614194
scientific article