Relational proofs for quantum programs | Publicación