REFINE

1. "Research on Knowledge-Based Software Environments at

Kestrel Institute", D.R. Smith et al, IEEE Trans Soft Eng,

SE-11(11) (1985). E-mail: [email protected].

2. Cordell Green et al, Stanford U. Uses logic to specify and

evolve programs. [same as 1?] Reasoning Systems, Inc.

E-mail: [email protected].