Primitive recursive word-functions of one variable (1987)

by G Asser
Venue:Computaion Theory and Logic