The Q-Theory Of Finite Semigroups by John Rhodes & Benjamin Steinberg