Foundations of System Theory: Finitary and Infinitary Conditions
by Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes
1. A General Setting for Discrete Action Nonlinear Systems -- 2. Nerode Equivalence Approach -- 3. Tree Automata: Finite Successes and Infinite Failures -- 4. Finite Step Conditions -- 5. Augmenting the Process -- Conclusions -- References.