Detinko, A. S., Flannery, D. L., Hulpke, A., "The strong approximation theorem and computing with linear groups", Journal of Algebra, 2019