Title: Problem-solving by program generation
First published: 1971