Rusins Freivalds Models of Computation, Riemann Hypothesis, and Classical Mathematics. 89-106 http://link.springer.de/link/service/series/0558/bibs/1521/15210089.htm 1998 conf/sofsem/1998 SOFSEM db/conf/sofsem/sofsem1998.html#Freivalds98