"On probabilistic fixpoint and Markov chain query languages."

Daniel Deutch, Christoph Koch, Tova Milo (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics