Michael R. Lowry Andrew Philpot Thomas Pressburger Ian Underwood AMPHION: Automatic Programming for Subroutine Libraries. 2 1994 KBSE db/conf/kbse/kbse1994.html#LowryPPU94