The definition and validation of the radix sorting technique
John A. N. Lee · 1972
Based on the formal definition techniques of Lucas et al[1] which have been applied to the description of programming languages, this paper defines the algorithm of radix sorting and develops a proof of its validity.