On Internal Variable Assignments for Sequential Switching CircuitsR. BianchiniC. Freimanet al.1961IRE Transactions on Electronic Computers