Verification of an algorithm for log-time sorting by square comparison - Mulder, J. C.; Weijland, W. P. (1987)