@misc{DollinLeachOberhauseretal.2001,
  author    = {Christopher Dollin and Steven Leach and Roy Oberhauser and Laura Dickey},
  title     = {Code verification by syntax tree reconstruction},
  url       = {https://patents.google.com/patent/EP1079303A3/en},
  year      = {2001}
}