Using automated reasoning tools: A study of the semigroup F2B2. R. McFadden; E. Lusk — 1987 Semigroup forum
Systems of ideals in partially ordered semigroups. D.C.J. Burgess; R. McFadden — 1962 Mathematische Zeitschrift