@article{NonInterferenceDynamicLogic08,
  author =      {Reiner H\"{a}hnle and Jing Pan and Philipp R{\"u}mmer
                 and Dennis Walter},
  title = {Integration of a Security Type System into a Program Logic},
  journal   = {Theor. Comput. Sci.},
  volume    = {402},
  number    = {2-3},
  year      = {2008},
  pages     = {172-189}
}