Certification of algorithm 237: Greatest common divisor

T. A. Bray. Certification of algorithm 237: Greatest common divisor. Communications of the ACM, 7(12):702-703, 1964. [doi]

Abstract

Abstract is missing.