Berger, U. Proofs-As-Programs in Computable Analysis. ECEASST 2009, 23.