@incollection{cpp2013,
  year={2013},
  booktitle={Certified Programs and Proofs (CPP 2013)},
  volume={8307},
  series={LNCS},
  editor={Gonthier, Georges and Norrish, Michael},
  doi={10.1007/978-3-319-03545-1_17},
  title={Formalizing Probabilistic Noninterference},
  publisher={Springer},
  author={Popescu, Andrei and H{\"o}lzl, Johannes and Nipkow, Tobias},
  pages={259--275}
}

@incollection{calco2013,
  year={2013},
  booktitle={Algebra and Coalgebra in Computer Science (CALCO 2013)},
  volume={8089},
  series={LNCS},
  editor={Heckel, Reiko and Milius, Stefan},
  doi={10.1007/978-3-642-40206-7_18},
  title={Noninterfering Schedulers},
  publisher={Springer},
  author={Popescu, Andrei and H{\"o}lzl, Johannes and Nipkow, Tobias},
  pages={236--252}
}
