A metatheorem for fixed point theories Richard B. Thompson — 1970 Commentationes Mathematicae Universitatis Carolinae
On traces of solutions of a semilinear partial differential equation of elliptic type J. Chabrowski; B. Thompson — 1983 Annales Polonici Mathematici