@article{JUCS.2008.241-272,
 author = {Scott Uk-Jin Lee and Gillian Dobbie and Jing Sun and Lindsay Groves},
 title = {{Formal Verification of Semistructured Data Models in PVS}},
 journal = {{Journal of Universal Computer Science, Special Issue on Logic, Abstract State Machines and Databases}},
  volume = {15},
  number = {1},
  pages = {241--272},
 year = {2009}
}