@mastersthesis {3893,
	title = {Declarative Programming Techniques for Engineering},
	year = {1988},
	note = {Electrical Engineering},
	school = {Vanderbilt University},
	author = {Karsai, Gabor}
}
