Simulating logic circuits: A multiprocessor application. - Bradley, Elizabeth; Halstead, Robert H., Jr. (Int. J. Parallel Program., 1987)