On folk theorems
David Harel · Communications of the ACM · 1980
~ifeda are sug\gesied fbr g g a we prefer and wit~ adopt the second approach.Accordstatement is a folk theorem~ The ideas are t:he~ illustrated wi~h a detailed example from the theory of program.mi~g.