published in Cca 2016 13th International Conference on Computability and Complexity in Analysis Proceedings Journal