László Csirmaz Bradd Hart Program Correctness on Finite Fields 4-10 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#Csirmaz86