Jifeng He Karen Seidel Annabelle McIver Probabilistic Models for the Guarded Command Language. 171-192 1997 28 Sci. Comput. Program. 2-3 db/journals/scp/scp28.html#JifengSM97