Aquarius: Logic simulation on an Engineering Workstation. - Andrew Sangster; John Monahan (DAC, 1983)