Berger, U. (2009) “Proofs-as-Programs in Computable Analysis”, Electronic Communications of the EASST, 23. doi: 10.14279/tuj.eceasst.23.332.