Tiziano Villa Svetlana Zharikova Nina Yevtushenko Robert K. Brayton Alberto L. Sangiovanni-Vincentelli A new algorithm for the largest compositionally progressive solution of synchronous language equations. 441-444 2007 conf/glvlsi/2007 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1228784.1228888 db/conf/glvlsi/glvlsi2007.html#VillaZYBS07