"Recurrence Equations and the Optimization of Synchronous Logic Circuits."

Maurizio Damiani, Giovanni De Micheli (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics