GuanJun Liu Changjun Jiang Daniel Y. Chao A Necessary and Sufficient Condition for the Liveness of Normal Nets. 157-163 2011 54 Comput. J. 1 http://dx.doi.org/10.1093/comjnl/bxp118 db/journals/cj/cj54.html#LiuJC11