Primitive recursive word-functions of one variable (1987)

by G Asser
Venue:Compugation Theory and Logic, LNCS 270