On folk theorems (1980)

by D Harel
Venue:Commun. ACM