On the sequentiality of the successor function (1997)

by Frougny
Venue:Inform. and Comput