"Strong Retiming Equivalence of Synchronous Schemes."

Miklós Bartha (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics