Manuel Blum Program Error Detection/Correction: Turning PAC Learning into PERFECT Learning (Abstract). 1 1997 conf/alt/1997 ALT db/conf/alt/alt1997.html#Blum97