@TechReport{	  lux.mantel.ea:scheduler-independent:b,
  author	= {Alexander Lux and Heiko Mantel and Matthias Perner},
  title		= {Scheduler-Independent Declassification},
  institution	= {TU Darmstadt},
  year		= 2012,
  number	= {TUD-CS-2012-0061},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/2012/TUD-CS-2012-0061.pdf}
}