@misc{indiciaeaaf624f1f4dd,
  title = {Transformation Systems at NASA Ames},
  author = {Buntine, Wray and Fischer, Bernd and Havelund, Klaus and Lowry, Michael and Pressburger, TOm and Roach, Steve and Robinson, Peter and VanBaalen, Jeffrey},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/20000085893},
  note = {Source identifier: 20000085893}
}