Digital logic testing and simulation - Micro, Alexander (John Wiley & Sons, 1987)
Includes index.