A pre-expectation calculus for probabilistic sensitivity | Publicación