Computable Jordan Decomposition of Linear Continuous Functionals on $C[0;1]$ (Logical Methods in Computer Science, 2014)