Verification of the Schorr-Waite Algorithm - From Trees to Graphs. - Mathieu Giorgino; Martin Strecker; Ralph Matthes; Marc Pantel (LOPSTR, 2010)

Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. - Mathieu Giorgino; Martin Strecker (FM, 2012)