Digital logic testing and simulation - Miczo, Alexander (Harper & Row Publishers, 1986)