Rodney W. Topor The Correctness of the Schorr-Waite List Marking Algorithm. 211-221 1979 11 Acta Inf. db/journals/acta/acta11.html#Topor79