James L. Caldwell Moving Proofs-As-Programs into Practice. 10-17 1997 ASE http://computer.org/proceedings/ase/7961/79610010abs.htm db/conf/kbse/ase1997.html#Caldwell97