Title: Analysis and synthesis of abstract data types through generalization from examples
Subjects: System analysis, Programming (Electronic computers)