@InProceedings{	  gurov.ea:algorithmic:2008,
  author	= {Dilian Gurov and Marieke Huisman and Christoph Sprenger},
  booktitle	= {Foundations of Interface Technologies (FIT 2008)},
  editor	= {K.G. Larsen and A. Wasowski and U. Nyman},
  language	= {USenglish},
  pdf		= {papers/2008/0_fit.pdf},
  title		= {An algorithmic approach to compositional verification of
		  programs with procedures},
  year		= 2008,
  user		= {csprenge}
}