Digital logic testing and simulation - Miczo, Alexander (Wiley, 1987)