Logic Minimization Algorithms for VLSI Synthesis (The Springer International Series in Engineering and Computer Science)
`In short, a quite remarkable realization in the  field.'Zentrallblatt für Mathematik (1986)