Green, C. C. "The design of the PSI program synthesis system," in Proc. 2nd Int. Conf Software Eng., San Francisco, CA, 1976, pp. 4-18.

Languages mentioned

• PHI {1979} KBS
• V {1981}