Relation-Algebraic Derivation of Spanning Tree Algorithms. - Rudolf Berghammer; Burghard von Karger; Andreas Wolf 004 (MPC, 1998)

On Excusable and Inexcusable Failures. - Markus Müller-Olm; Andreas Wolf 004 (World Congress on Formal Methods, 1999)

On the Translation of Procedures to Finite Machines. - Markus Müller-Olm; Andreas Wolf 004 (ESOP, 2000)

Weakest relative precondition semantics: balancing approved theory and realistic translation verification. - Andreas Wolf 004 (2001)