Title: Extensions to Blum's size results in subrecursive formalisms
First published: 1970