Towards a unified thory of the parallelism available for circuit simulation - Bailey, Mary L.; Snyder, Lawrence (University of Washington <Seattle, Wash.> / Department of Computer Science: Technical report, 1988)