@mastersthesis {3755,
	title = {Model Integrated Program Synthesis of Agent Interaction Protocols},
	year = {2000},
	note = {Electrical Engineering},
	month = {August},
	school = {Vanderbilt University},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Sprinkle_JM_8_0_2000_Model_Inte.pdf},
	author = {Sprinkle, Jonathan}
}
