Scott Uk-Jin Lee Jing Sun Gillian Dobbie Lindsay Groves Verifying Semistructured Data Normalization Using PVS. 15-24 2008 ICECCS http://dx.doi.org/10.1109/ICECCS.2008.23 conf/iceccs/2008 db/conf/iceccs/iceccs2008.html#LeeSDG08