Christopher Dollin et.al.: Code verification by syntax tree reconstruction US6594783B1, 2001.
URL: https://patents.google.com/patent/EP1079303A3/en