"Coalgebraic Division for Multilevel Logic Synthesis."

Wen-Jun Hsu, Wen-Zen Shen (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics