System Simulation - Gordon, Geoffrey (Prentice-Hall Series in Automatic Computation, 1969)