@misc{indiciaeeb61912a3098,
  title = {Analysis and synthesis of abstract data types through generalization from examples},
  author = {Wild, Christian},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19870018014},
  note = {Source identifier: 19870018014}
}