@misc{873,
  author = {James Tuck and Ted Bapty},
  title = {Interface Refinement and Synthesis for Component-Based Design},
  year = {2001},
  journal = { ISIS-01-200},
  month = {January},
  publisher = {Institute for Software Integrated Systems},
  language = {eng},
}