Towards a unified thory of the parallelism available for circuit simulation - Bailey, Mary L.; Snyder, Lawrence (1988)