Issue No. 06 - June (1972 vol. 21)
Rainer Parchmann , Institut für Mathematik, Technische Hochschule Hannover, Hannover, Germany.
In a new theorem (proved by elementary combinatorial results) the number of nonequivalent state assignments as defined in  and  is determined. The number of nondegenerate state assignments is also computed.
Rainer Parchmann, "The Number of State Assignments for Sequential Machines", IEEE Transactions on Computers, vol. 21, no. , pp. 613-614, June 1972, doi:10.1109/TC.1972.5009022