On folk theorems (1980)

by D Harel
Venue:Communications of the Association for Computing Machinery