Decomposition and Reduction: General Problem-Solving Paradigms. - Michal Servít; Jan Zamazal (VLSI Design, 1995)