An operator embedding theorem for complexity classes of recursive functions
scientific article; zbMATH DE number 3511589