@Article{	  kopf.ea:transformational:2007,
  author	= {Boris K\"opf and Heiko Mantel},
  journal	= {International Journal of Information Security (IJIS)},
  title		= {Transformational Typing and Unification for Automatically
		  Correcting Insecure Programs},
  pages		= {107--131},
  volume	= 6,
  number	= {2-3},
  year		= 2007
}