The power of pluralism for automatic program synthesis (1982)

by C Smith
Venue:Journal of the ACM