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)

Declarative Task Description as a User-Interface Structuring Mechanism. - Reid G. Smith; Gilles M. E. Lafue; Eric Schoen; Stanley Vestal (Computer, 1984)