Renault J. Topological Amenability Is a Borel Property. Math. Scand. 2015;117(1):5-30. doi:10.7146/math.scand.a-22235