1. "Research on Knowledge-Based Softwareenvironments at Kestrel Institute", D.R. Smith et al, Ieee Trans Soft eng, Se-11(11) (1985). e-mail: estrel.edu>. 2. Cordell Green et al, Stanford U. Uses logic to specify and evolve programs. [same as 1?] Reasoning Systems, Inc. e-mail: elp@reasoning.com>.