Digital Logic Testing An - "Miczo, Alexander" (New York, 2003)