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