A Proof of the Schorr-Waite Algorithm (1981)

by J H Morris
Venue:in Theoretical Foundations of Programming Methodology Int. Summer School, Marktoberdorf