Finitely presented infinite simple groups. - Higman, G. (Dept. of Pure Mathematics, Dept. of Mathematics, I.A.S., Australian National University,, 1974)