Author: Russell W. Ranshaw
Publications
Publication period start: 1961
Publications
Ranshaw, Russell W. (1961): Certification of algorithm 23: MATHSORT. In Communications of the ACM, 4 (5) pp. 238. https://dl.acm.org/doi/10.1145/366532.366568