Jeffrey Van Baalen Peter Robinson Michael R. Lowry Thomas Pressburger Explaining Synthesized Software. 240-248 1998 ASE http://dlib.computer.org/conferen/ase/8750/pdf/87500240.pdf db/conf/kbse/ase1998.html#BaalenRLP98