System simulation - Gordon, Geoffrey (Series in Automatic Computation., 1978)