@Article{	  ar:MantelSabelfeld2003a,
  author	= {Heiko Mantel and Andrei Sabelfeld},
  title		= {{A Unifying Approach to the Security of Distributed and
		  Multi-Threaded Programs}},
  journal	= {Journal of Computer Security (JCS)},
  year		= 2003,
  volume	= 11,
  number	= 4,
  pages		= {615--676},
  publisher	= {IOS Press}
}