Peter Naur. Certification of algorithms 117 and 118 magic squares (even and odd orders). Communications of the ACM, 6(1):39-40, 1963. [doi]
@article{Naur63e, title = {Certification of algorithms 117 and 118 magic squares (even and odd orders)}, author = {Peter Naur}, year = {1963}, doi = {10.1145/366193.366240}, url = {http://doi.acm.org/10.1145/366193.366240}, tags = {certification}, researchr = {https://researchr.org/publication/Naur63e}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {6}, number = {1}, pages = {39-40}, }