Rusins Freivalds: Models of Computation, Riemann Hypothesis, and Classical Mathematics. SOFSEM 1998: 89-106