@misc{indiciaeeebd42c6367d,
  title = {Automatic program generation from specifications using Prolog},
  author = {Pelin, Alex and Morrow, Paul},
  year = {1987},
  url = {https://ntrs.nasa.gov/citations/19880007055},
  note = {Source identifier: 19880007055}
}