Sequential and parallel strategies for the demand-driven simulation of logic circuits. - Paul E. Dunne; Chris J. J. Gittings; Paul H. Leng (Microprocess. Microprogramming, 1993)