Race analysis of digital systems without logic simulation. - Richard A. Harrison; Daniel J. Olson (DAC, 1971)