William Djohansjah Tajibnapis
-
A correctness proof of a topology information maintenance protocol for a distributed computer network
Communications of the ACM