Yasuyoshi Okada Masahiro Hayashi Graph Rewriting Systems and their Application to Network Reliability Analysis. 36-47 1991 conf/wg/1991 WG db/conf/wg/wg91.html#OkadaH91 http://dx.doi.org/10.1007/3-540-55121-2_4