Ryan WJ. Proof of the quadratic reciprocity law in primitive recursive arithmetic. Math. Scand. 1979;45:177-197. doi:10.7146/math.scand.a-11835