Denotational Semantics for Probabilistic Refusal Testing | Publicación