Gordon Kotik Lawrence Markosian Application of REFINE Language Tools<sup>TM</sup> to Software Quality Assurance. 4 1994 KBSE db/conf/kbse/kbse1994.html#KotikM94