is mentioned

In prior sections: mb declaration mb record mb state machine mb automata 3

Try larger context: GenAutomata