@Article{	  gurov.ea:compositional:2008,
  author	= {Dilian Gurov and Marieke Huisman and Christoph Sprenger},
  journal	= {Journal of Information and Computation },
  language	= {USenglish},
  month		= {July},
  number	= 7,
  pages		= {840--868 },
  title		= {Compositional Verification of Programs with Procedures},
  url		= {http://dx.doi.org/10.1016/j.ic.2008.03.003},
  volume	= 206,
  year		= 2008,
  user		= {csprenge}
}