@mastersthesis {3810,
	title = {Model-Integrated Program Synthesis for Real-Time Image Processing},
	year = {1997},
	month = {February},
	school = {Vanderbilt University},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Moore_MS_2_0_1997_Model_Inte.pdf},
	author = {Moore, Michael}
}
