A proof of Choffrut's theorem on subsequential functions
scientific article; zbMATH DE number 1281087