NASA technical note TN (series). D-4108. Generalised decomposition theory of finite sequential machines [with list of references]; by H. Allen Curtis.