David B. Thompson Subrecursiveness: Machine-Independent Notions of Computability in Restricted Time and Storage. 3-15 1972 6 Mathematical Systems Theory 1 db/journals/mst/mst6.html#Thompson72