Checking experiments in sequential machines /
Bhattacharyya, Asok.
New York ; Chichester : Wiley,
1989.