@misc{indiciae1902b4e05ff3,
  title = {Behavior specification, finding main, and call graph visualizations},
  author = {Sayre, Kirk D. and Willems, Richard A. and Lindberg, Stephen Lanse},
  year = {2019},
  url = {https://www.osti.gov/biblio/1502364},
  note = {Source identifier: 1502364}
}