Mark P. Jones Integrating Programming, Properties, and Validation. 1 2000 conf/mpc/2000 MPC db/conf/mpc/mpc2000.html#Jones00