@article{pratt1995fdiv,
  title={Anatomy of the Pentium bug},
  author={Pratt, Vaughan},
  journal={TAPSOFT'95: Theory and Practice of Software Development},
  pages={97--107},
  year={1995},
  publisher={Springer}
}

@online{nicely_fdiv,
    author = {Thomas Nicely},
    title={Pentium FDIV flaw FAQ},
    year = {2011},
    url = {http://www.trnicely.net/pentbug/pentbug.html},
    urldate = {2017-08-10}
}

@inproceedings{harrison2003formal,
  title={Formal verification at intel},
  author={Harrison, John},
  booktitle={Logic in Computer Science, 2003. Proceedings. 18th Annual IEEE Symposium on},
  pages={45--54},
  year={2003},
  organization={IEEE}
}