Keith L. Clark John Darlington Algorithm Classification Through Synthesis. 61-65 1980 23 Comput. J. 1 db/journals/cj/cj23.html#ClarkD80