1. Arvind, V., Torán, J.: Solvable group isomorphism is (almost) in NP
$$\cap $$
∩
coNP. ACM Trans. Comput. Theory 2(2), 4:1–4:22 (2011)
2. Lecture Notes in Computer Science;L Babai,2012
3. Babai, L., Qiao, Y.: Polynomial-time isomorphism test for groups with abelian sylow towers. In: STACS 2012 (29th Symposium on Theoretical Aspects of Computer Science), vol. 14, pp. 453–464. LIPIcs (2012)
4. Boppana, R.B., Hastad, J., Zachos, S.: Does co-NP have short interactive proofs? Inf. Process. Lett. 25(2), 127–132 (1987)
5. Carmichael, R.D.: Introduction to the Theory of Groups of Finite Order. GINN and Company, Boston (1937)