An alternative proof that the Fibonacci group F ( 2 , 9 ) is infinite. Holt, Derek F. — 1995 Experimental Mathematics
An implementation of the Neumann-Praeger algorithm for the recognition of special linear groups. Holt, Derek F.; Rees, Sarah — 1992 Experimental Mathematics
Free quotients of finitely presented groups. Holt, Derek F.; Rees, Sarah — 1996 Experimental Mathematics