@phdthesis{bibcite_935,
  author = {Jianfeng Wang},
  title = {Visual Specification of Model Interpreters},
  year = {2000},
  journal = {Master{\textquoteright}s Thesis},
  publisher = {Vanderbilt University},
  language = {eng},
}