Title: Predicative recursion and computational complexity
First published: 1992