I am looking for an algorithm that will allow me to generate
a difference of 2 flow graphs. In other words, to compute the
set of arcs and nodes that would need to be deleted/added to
transform one flow graph into another. Any pointers to possibly
useful information would be appreciated.