Finite state machines
Open University.
[Milton Keynes] Open University Press
1973
Sequential machine theory.