The Interpretation of Unsolvable lambda-Terms in Models of Untyped lambda-Calculus. - Rainer Kerth (J. Symb. Log., 1998)

Isomorphism and Equational Equivalence of Continuous [lambda]-Models. - Rainer Kerth (Stud Logica, 1998)

Eine Fallstudie: Einbindung von Legacy-Datenbanken über JDBC. - Rainer Kerth (Java-Informations-Tage, 1999)

WebSphere as an e-business server. - Donald F. Ferguson; Rainer Kerth (IBM Syst. J., 2001)

On the construction of stable models of untyped lambda-calculus. - Rainer Kerth (Theor. Comput. Sci., 2001)