A note on square rooting of time functions of Turing machines
scientific article; zbMATH DE number 1971491