Gerhard O. Michler An Algorithm for Determining the Simplicity of a Modular Group Representation. 105-111 1988 6 J. Symb. Comput. 1 db/journals/jsc/jsc6.html#Michler88