Diagnosis of automata failures: A calculus and a method (1966)

by J P Roth
Venue:IBM Journal of Research and Development