Peter Vanbroekhoven Gerda Janssens Maurice Bruynooghe Francky Catthoor A practical dynamic single assignment transformation. 2007 12 ACM Trans. Design Autom. Electr. Syst. 4 http://doi.acm.org/10.1145/1278349.1278353 db/journals/todaes/todaes12.html#VanbroekhovenJBC07