0 / 60 seg.

He relied heavily on earlier work by Stephen Kleene.