On diagnosing faults in digital circuits - Hora, Stefania Camelia (Technická univerzita, 2002)