@InProceedings{	  kopf.ea:eliminating:2004,
  address	= {Verona, Italy},
  author	= {Boris K\"opf and Heiko Mantel},
  booktitle	= {First International Workshop on Programming Language
		  Interference and Dependence},
  language	= {USenglish},
  publisher	= {University of Verona},
  title		= {Eliminating Timing Leaks by Unification (Extended
		  Abstract)},
  year		= 2004,
  user		= {hmantel}
}