"Program Correctness on Finite Fields"

László Csirmaz, Bradd Hart (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics