@misc{222731,
  author = {John Michaloski},
  title = {Integration of CodeSynthesis and QIF},
  year = {2016},
  month = {2016-05-30},
  publisher = {usnistgov github},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=919141},
  language = {en},
}