@mastersthesis {3842,
	title = {Model-Based Automatic Program Synthesis},
	year = {1994},
	note = {Electrical Engineering},
	school = {Vanderbilt University},
	author = {Abbott, Ben}
}
