@article{156886,
  author = {Paul Black},
  title = {Is 'Implementation Implies Specification' Enough?},
  year = {2000},
  month = {2000-06-01},
  publisher = {Design Automation Conference},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151671},
  language = {en},
}