Logic desing and simulation - Hörbst, E (Advances in CAD for VLSI, 1986)