The congruence subgroup property for Aut F2: a group-theoretic proof of Asada's theorem
The congruence subgroup property for Aut F2: a group-theoretic proof of Asada's theorem
Bux K-U, Ershov M, Rapinchuk A. The congruence subgroup property for Aut F2: a group-theoretic proof of Asada’s theorem. Groups, Geometry, and Dynamics. 2011;5(2):327–353.