D. Holt and S. Rees. 
An implementation of the Neumann-Praeger algorithm
for the recognition of special linear groups.
    Experimental Mathematics, 1 (1992), 237-242.