@misc{indiciaec99bb7b7d833,
  title = {The development of a program analysis environment for Ada},
  author = {Brown, David B. and Carlisle, Homer W. and Chang, Kai-Hsiung and Cross, James H. and Deason, William H. and Haga, Kevin D. and Huggins, John R. and Keleher, William R. A. and Starke, Benjamin B. and Weyrich, Orville R.},
  year = {1989},
  url = {https://ntrs.nasa.gov/citations/19900004646},
  note = {Source identifier: 19900004646}
}