Geoffrey Smith Rafael Alpízar Fast probabilistic simulation, nontermination, and secure information flow. 67-72 2007 PLAS http://doi.acm.org/10.1145/1255329.1255341 conf/pldi/2007plas db/conf/pldi/plas2007.html#SmithA07