Undecidability of the Identity Problem for Finite Semigroups. - Douglas Albert; Robert Baldinger; John Rhodes 001 (J. Symb. Log., 1992)