Simulation in the design of digital electronic systems - Gosling, J. B. (John B.) (Electronic texts for engineers and scientists, 1993)