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

by W D Tajibnapis
Venue:Communications of the ACM