An Overview of PhiNIX. - David R. Barstow; Roger Duffey; Stephen W. Smoliar; Stanley Vestal (AAAI, 1982)

An Automatic Programming System to Support an Experimental Science. - David R. Barstow; Roger Duffey; Stephen W. Smoliar; Stanley Vestal (ICSE, 1982)