in press. (Note. Reference [33] is not cited in the text.) Theory of Program Size 27 Received April 1974; Revised (1975)

by Sci Amer