1. Howie, John M.: Fundamentals of Semigroup Theory. Oxford Science, Oxford (1995)
2. Petrich, M., Reilly, N.R.: Completely Regular Semigroups. Wiley-Blackwell, New York (1999)
3. Monzo, R.A.R.: Semilattices of Rectangular Bands and Groups of Order 2. (2010) http://arxiv.org/ftp/arxiv/papers/1301/1301.0828 .Accessed 6 Nov 2013
4. McCune, W.: Prover9 and Mace4, version 2009–11A, www.cs.unm.edu/mccune/prover9/ . Accessed 6 Nov 2013