@article{KRS1:08,
  journal = {Theoretical Computer Science},
  pages = {2701--2713},
  title = {Relating Direct and Predicate Transformer Partial Correctness
           Semantics for a Probabilistic-Nondeterministic Language},
  year = {2011},
  volume = {412},
  author = {Keimel, Klaus and Rosenbusch, Artus Ph. and Streicher, Thomas},
}