K. John Gough Herbert Klaeren Executable Assertions and Separate Compilation. 41-52 1997 conf/jmlc/1997 JMLC db/conf/jmlc/jmlc1997.html#GoughK97