1. Araujo , I. M. ( 2000 ). Presentations for Semigroup Constructions and Related Computational Methods . Ph.D. thesis, University of St. Andrews, St. Andrews, Scotland, UK .
2. Finite Presentability of Bruck–Reilly Extensions of Groups
3. A Survey of Binary Systems
4. L.M.S. Monographs, No. 7.;Howie J. M.,1976