@misc{indiciae76a886dedf86,
  title = {An IBM 370 assembly language program verifier},
  author = {Maurer, W. D.},
  year = {1977},
  url = {https://ntrs.nasa.gov/citations/19780028211},
  note = {Source identifier: 19780028211}
}