A distributed algorithm is developed that can be used to compute the topology of a network, given that each site starts with information about sites it is adjacent to, the network is strongly connected, and communication channels are uni-directional. The program is derived and proved correct using assertional reasoning.