The correctness of the Schorr-Waite marking algorithm (1979)

by R W Topor
Venue:Acta Informatica