@InProceedings{	  mantel:information-flow-control-and-applications--bridging-a-gap:2001,
  address	= {Berlin, Germany},
  author	= {Heiko Mantel},
  booktitle	= {Proceedings of the 10th International Symposium of Formal
		  Methods Europe (FME)},
  editor	= {Jose Nuno Olivera and Pamela Zave},
  month		= {March 12-16},
  pages		= {153--172},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2001/2001FME.PDF},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2001/2001FME.PS.zip},
  publisher	= {Springer},
  series	= {LNCS 2021},
  title		= {{Information Flow Control and Applications -- Bridging a
		  Gap}},
  year		= 2001
}