J. Renault, “Topological Amenability Is a Borel Property”, Math. Scand., vol. 117, no. 1, pp. 5–30, Sep. 2015, doi: 10.7146/math.scand.a-22235.