Representations of measurable sets in computable measure theory (Logical Methods in Computer Science, 2014)