@misc{indiciaed8d915cded02,
  title = {User Interface Technology for Formal Specification Development},
  author = {Lowry, Michael and Philpot, Andrew and Pressburger, Thomas and Underwood, Ian and Lum, Henry, Jr.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/20020011142},
  note = {Source identifier: 20020011142}
}