"Proving Positive Almost Sure Termination Under Strategies."

Olivier Bournez, Florent Garnier (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics