Ryan, W. J. Proof of the Quadratic Reciprocity Law in Primitive Recursive Arithmetic. Math. Scand. 1979, 45, 177-197. https://doi.org/10.7146/math.scand.a-11835.