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