TY  - RPRT
TI  - Analysis and synthesis of abstract data types through generalization from examples
AU  - Wild, Christian
PY  - 1987
UR  - https://ntrs.nasa.gov/citations/19870018014
ID  - 19870018014
ER  -