@misc{1334256,
  author = {Simone Yaniv},
  title = {The Proving Ring},
  year = {1999},
  month = {1999-01-01 00:01:00},
  publisher = {The Proving Ring},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=820082},
  language = {en},
}