W. J. Ryan, “Proof of the quadratic reciprocity law in primitive recursive arithmetic”., Math. Scand., vol. 45, pp. 177–197, Dec. 1979, doi: 10.7146/math.scand.a-11835.