A method for program synthesis. - Miklós Szöts; Sándor Csizmazia (Symposium on Programming, 1982)