[1]
R. Pollack, “How to Believe a Machine-Checked Proof”, BRICS, vol. 4, no. 18, Jan. 1997.