"Retiming Sequential Circuits with Multiple Register Classes."

Klaus Eckl, Christian Legl (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics