Verification of Compiler Correctness for the WAM. - Cornelia Pusch (TPHOLs, 1996)

Java - formal fundiert. - David von Oheimb; Cornelia Pusch (Java-Informations-Tage, 1998)

Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. - Cornelia Pusch (TACAS, 1999)

AVL Trees. - Tobias Nipkow; Cornelia Pusch (Arch. Formal Proofs, 2004)