J. F. Poage, Edward J. McCluskey. Derivation of optimum test sequences for sequential machines. In Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design, 11-13 November 1964, Princeton, New Jersey, USA. pages 121-132, IEEE, 1964.