Estimates of software size from state machine designs
Robert N. Britcher, John E. Gaffney · NASA Technical Reports Server (NASA) · 1982
The length, or size (in number of Source Lines of Code) of programs represented as state machines, it is demonstrated, can be reliably estimated in terms of the number of internal state machine variables.