Problem solving by program generation. - S. H. Mandil (1971)