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/19880001137
ID  - 19880001137
ER  -