Time bounded random access machines
scientific article; zbMATH DE number 3446410