Malcolm C. Pike. Certification of algorithm 121 [G5] Normdev. Communications of the ACM, 8(9):556, 1965. [doi]
@article{Pike65c, title = {Certification of algorithm 121 [G5] Normdev}, author = {Malcolm C. Pike}, year = {1965}, doi = {10.1145/365559.365598}, url = {http://doi.acm.org/10.1145/365559.365598}, tags = {C++, certification}, researchr = {https://researchr.org/publication/Pike65c}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {8}, number = {9}, pages = {556}, }