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