Designing logic systems using state machines - Clare, Christopher R. (McGraw-Hill, 1973)