Machine Distinguishing Experiments. - Zvi Kohavi; J. A. Rivierre; Igal Kohavi (Comput. J., 1973)

Checking experiments for sequential machines. - Zvi Kohavi; J. A. Rivierre; Igal Kohavi (Inf. Sci., 1974)