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