Publication Venue For Computable Jordan Decomposition of Linear Continuous Functionals on C[0; 1] -- Logical Methods in Computer Science. 10:1. 2014-01-01
