Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. - Philipp Küfner; Uwe Nestmann; Christina Rickmann (IFIP TCS, 2012)

Modeling and verification of distributed algorithms in theorem proving environments (Modellierung und Verifikation verteilter Algorithmen mithilfe von Theorembeweisern) - Philipp Küfner (2014)