@article {3717,
	title = {Interface Refinement and Synthesis for Component-Based Design},
	year = {2001},
	month = {January},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Tuck_JM_1_30_2001_Interface_.pdf},
	author = {Tuck, James and Bapty, Ted}
}
