Marcio Yukio Teruya Marius Strum Wang Jiang Chau Architectural Transformations for Hierarchical Algorithmic Descriptions. 473-484 1999 conf/ifip10-5/1999 VLSI db/conf/ifip10-5/ifip10-5-1999.html#TeruyaSC99