Title: Analysis and synthesis of abstract data types through generalization from examples
First published: 1987