@InProceedings{	  lux.mantel.ea:scheduler-independent,
  author	= {Alexander Lux and Heiko Mantel and Matthias Perner},
  title		= {Scheduler-Independent Declassification},
  booktitle	= {Proceedings of the 11th International Conference on
		  Mathematics of Program Construction (MPC)},
  publisher	= {Springer},
  year		= 2012,
  series	= {LNCS 7342},
  pages		= {25--47},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2012/LuxMantelPerner_MPC2012.pdf}
}