Akitoshi Kawamura;Florian Steinberg;Martin Ziegler, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, Complexity Theory of (Functions on) Compact Metric Spaces, 4646, pp. 837-846, 2016, New York NY USA, 10.1145/2933575.2935311.