On the Construction of Sequential Machines from Regular Expressions. - Janusz A. Brzozowski; J. F. Poage (IEEE Trans. Electron. Comput., 1963)

Derivation of optimum test sequences for sequential machines - J. F. Poage; Edward J. McCluskey (SWCT, 1964)