Detinko, A. S., Flannery, D. L., Hulpke, A., "Algorithms for arithmetic groups with the congruence subgroup property", Journal of Algebra, 2015