David Robbins Barstow
发表
Automatic construction of algorithms and data structures using a knowledge base of programming rules
David Robbins Barstow,
D. Barstow,
1977
.