Effective hierarchy of real numbers - Zheng, Xizhong (Shaker, 2007)