Title: Primitive recursive arithmetic with recursion of notation and boundedness
First published: 1976