Author: Russell W. Ranshaw
Publication Overview
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