GSP: A logic simulator for LSI. - James R. Armstrong; D. E. Devlin (DAC, 1981)