@entry{kin-nic-09-ab,
  author = {AB Kinsman and N Nicolici},
  title = {Computational bit-width allocation for operations in vector calculus},
  journal = {2009 IEEE International Conference ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2009,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5413121/?casa_token=dqv6yo5upn8AAAAA:zRZ_XW_SMd-1evHEUtQ1DE9cr0b0GtlC6P0bXBko4RPzpc8aFin-p1XGnlrFYQffkeIuyAhH}}},
  quotes = {... , such as division (common in numerical algorithms), can lead to severe over-allocation and even indeterminacy for the existing formal methods based on interval or affine arithmetic. ...}
}