@entry{kin-nic-10-ab,
  author = {AB Kinsman and N Nicolici},
  title = {Computational vector-magnitude-based range determination for scientific abstract data types},
  journal = {IEEE Transactions on Computers,},
  volume = {},
  number = {},
  pages = {},
  year = 2010,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://ieeexplore.ieee.org/abstract/document/5669288/?casa_token=exC9nIOZEk8AAAAA:ThW1FS9-AO0xzbeTgtgkRDqR6OwxBwjah5lO83UCMgh1dTd98WZPK9RSnKfVsQL3Nkl6GU_F}}},
  quotes = {... Note that the DetermineRanges function (line 7) is based upon existing range analysis techniques, such as affine arithmetic or the computational method from [12]. The Partition function ...}
}