Correctness Proofs for Meta IV Written Code Generator Specification using Term Rewriting. - Bettina Buth; Karl-Heinz Buth (VDM Europe, 1988)

An Approach to Automatic Proof Support for Code Generator Verification. - Bettina Buth; Karl-Heinz Buth (Code Generation, 1991)

Provably Correct Compiler Development and Implementation. - Bettina Buth; Karl-Heinz Buth; Martin Fränzle; Burghard von Karger; Yassine Lakhnech; Hans Langmaack; Markus Müller-Olm (CC, 1992)

Using SOS Definitions in Term Rewriting Proofs. - Karl-Heinz Buth (Larch, 1992)

Simulation of SOS Definitions with Term Rewriting Systems. - Karl-Heinz Buth (ESOP, 1994)

Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems. - Karl-Heinz Buth (1994)

Rechnergestützte Programmentwicklung und -verifikation in der Lehre: Konzeption und Erfahrungen. - Rudolf Berghammer; Bettina Buth; Karl-Heinz Buth (SEUH, 1995)