Mark N. Wegman Summarizing Graphs by Regular Expressions. 203-216 1983 conf/popl/1983 POPL db/conf/popl/popl83.html#Wegman83 http://doi.acm.org/10.1145/567067.567088