Teitelbaum, T. "The Cornell program synthesizer: A tutorial introduction" Tech. Report No. TR79-381, Dept. Comptr. Sci., Cornell Univ., Ithaca, NY, July 1979, Revised Jan. 1980.

Languages mentioned

• PL/CS {1974} PL/I subdialect for the CPS