Small universal Turing machines
scientific article; zbMATH DE number 983791
scientific article