Title: The automatic construction of computational algorithms
First published: 1965