Complete description of substitutions in cylindric algebras and other algebraic logics Richard Thompson — 1993 Banach Center Publications
A metatheorem for fixed point theories Richard B. Thompson — 1970 Commentationes Mathematicae Universitatis Carolinae