Diagnosis of Automata Failures: A Calculus and a Method (1966)

by J P Roth
Venue:IBM Journal of Res. Dev