Proving uniformity and independence by self-composition and coupling | Publicación