E Barcucci, A Bernini, R Pinzani - … 2021, Rouen, France, September 13–17 …, 2021 - Springer
Each strictly increasing sequence of positive integers can be used to define a numeration
system so that any non-negative integer can be represented by a suitable and unique string …