Susan L. Gerhart. A Derivation Oriented Proof of the Schorr-Waite Marking Algorithm. In Friedrich L. Bauer, Manfred Broy, editors, Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Volume 69 of Lecture Notes in Computer Science, pages 472-492, Springer, 1978.
Abstract is missing.