"A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability ..."

Annabelle McIver, Larissa Meinicke, Carroll Morgan (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics