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

by W Tajibnapis
Venue:Communications of the ACM (CACM