VLSI Simulation and Data Abstractions. - Jacob Katzenelson; E. Weitz (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1986)