Selected references
- J. Hartmanis. Symbolic analysis of a decomposition of information processing machines. Information and Control, 3(2):154-178, June 1960.
- J. Hartmanis. Loop-free structure of sequential machines. Information and Control, 5(1):25-43, March 1962.