@TechReport{	  kopf.ea:eliminating:2005-b,
  address	= {Z\"urich},
  author	= {Boris K\"opf and Heiko Mantel},
  institution	= {ETH Z\"urich},
  number	= 498,
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2005/2005-tr-eth-498.pdf},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2005/2005-tr-eth-498.PS.zip},
  title		= {Eliminating Implicit Information Leaks by Transformational
		  Typing and Unification},
  year		= 2005
}