@inproceedings{949,
  author = {Gabor Karsai},
  title = {Structured Specification of Model Interpreters},
  year = {1999},
  journal = {ECBS},
  pages = {84--91},
  month = {March},
  address = {Nashville, TN},
  language = {eng},
}