W. J. Ryan, “Proof of the quadratic reciprocity law in primitive recursive arithmetic”., Math. Scand., vol. 45, pp. 177–197, Dec. 1979.