Saturation and omitting types. D.W.H. Gillam — 1977 Archiv für mathematische Logik und Grundlagenforschung
An addition theorem for finite semigroups. T.E. Hall; D.W.H. Gillam; N.H. Williams — 1975 Semigroup forum