Ryan, W. J. “Proof of the Quadratic Reciprocity Law in Primitive Recursive Arithmetic”. Mathematica Scandinavica 45 (December 1, 1979): 177–197. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/1816.