J. Renault, “Topological Amenability Is a Borel Property”, Math. Scand., vol. 117, no. 1, pp. 5–30, Sep. 2015.