@conference {3784,
	title = {Structured Specification of Model Interpreters},
	booktitle = {ECBS},
	year = {1999},
	month = {March},
	pages = {84--91},
	address = {Nashville, TN},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Karsai_G_3_0_1999_Structured.pdf},
	author = {Karsai, Gabor}
}
