On Folk Theorems. - Harel, David (Communications of the ACM, 1980)