@article{KRS:08,
  journal = {Annals of Pure and Applied Logic},
  title = {A Minkowksi Type Duality Mediating Between State and Predicate
           Transformer Semantics for a Probabilistic Nondeterministic Language},
  pages = {307-317},
  year = {2009},
  volume = {159},
  author = {Keimel, Klaus and Rosenbusch, Artus Ph. and Streicher, Thomas},
}