@INPROCEEDINGS{Schmidt02a,
  author = {Heinz W. Schmidt and Ralf H. Reussner},
  title = {Parameterised Contracts and Adaptor Synthesis},
  booktitle = {Proc. 5th Intl Component-Based Software Engineering Workshop (CBSE5)
	of the ICSE Conference, IEEE},
  year = {2002},
  month = may
}