The definition and validation of the radix sorting technique

John A. N. Lee. The definition and validation of the radix sorting technique. In Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972. pages 142-149, ACM, 1972. [doi]

Authors

John A. N. Lee

This author has not been identified. Look up 'John A. N. Lee' in Google