An analysis of errors in interactive proof attempts (1996)

by S Aitken