Miklós Bartha Strong Retiming Equivalence of Synchronous Schemes. 66-77 2005 conf/wia/2005 CIAA http://dx.doi.org/10.1007/11605157_6 db/conf/wia/ciaa2005.html#Bartha05