Colin O'Halloran Alf Smith Don't Verify, Abstract! 53-62 1998 ASE http://dlib.computer.org/conferen/ase/8750/pdf/87500053.pdf db/conf/kbse/ase1998.html#OHalloranS98