A correctness proof of a topology information maintenance protocol for a distributed computer network (1977)

by William D Tajibnapis
Venue:Commun. ACM