Veit, Jörg Programming Logics, MPI for Informatics, Max Planck Society;
Veit, J. (1999). Formal Fairness Proofs for Optimistic Contract Signing Protocols. Master Thesis, Universität des Saarlandes, Saarbrücken.