@InProceedings{	  mantel.ea:increasing:2009,
  author	= {Heiko Mantel and Henning Sudbrock},
  booktitle	= {5th International Workshop on Programming Language
		  Interference and Dependence ( PLID'09 )},
  language	= {USenglish},
  title		= {Increasing the Precision of the Combining Calculus
		  (Extended Abstract)},
  year		= 2009,
  categories	= {fmseceng:securityanalysis, fmseceng:complete},
  user		= {seg}
}