R. Pollack, “How to Believe a Machine-Checked Proof”, BRICS, bd. 4, nr. 18, jan. 1997.