Yaron Wolfstahl Michael Yoeli An Equivalence Theorem for Labeled Marked Graphs. 886-891 1994 5 IEEE Trans. Parallel Distrib. Syst. 8 http://computer.org/tpds/td1994/l0886abs.htm db/journals/tpds/tpds5.html#WolfstahlY94