The Cornell program synthesizerTim Teitelbaum, Thomas Reps|Communications of the ACM|1981Cited by 708