Deriving Modular Programs from Short Proofs | Publicación