Robert Rettinger, Xizhong Zheng: Burchard von Braunmühl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers. COCOON 2002: 47-56