Wang, Hong and Xu, Du and Jiang, Guo and Yao, Yao and Xu, Shizhong and Li, Lemin (2006) Proof of the deadlock-freeness of ALD routing algorithm. [Preprint]