Editing Finite-state machine (section)

=== General ===
* {{cite book | last=Sakarovitch | first=Jacques | title=Elements of automata theory | others=Translated from the French by Reuben Thomas | publisher=[[Cambridge University Press]] | year=2009 | isbn=978-0-521-84425-3 | zbl=1188.68177 }}
* Wagner, F., "Modeling Software with Finite State Machines: A Practical Approach", Auerbach Publications, 2006, {{ISBN|0-8493-8086-3}}.
* ITU-T, [http://www.itu.int/rec/T-REC-Z.100-200711-I/en ''Recommendation Z.100 Specification and Description Language (SDL)'']
* Samek, M., [http://www.state-machine.com/psicc/index.php ''Practical Statecharts in C/C++''], CMP Books, 2002, {{ISBN|1-57820-110-1}}.
* Samek, M., [http://www.state-machine.com/psicc2/index.php ''Practical UML Statecharts in C/C++, 2nd Edition''], Newnes, 2008, {{ISBN|0-7506-8706-1}}.
* Gardner, T., [http://www.troyworks.com/cogs/ ''Advanced State Management''] {{Webarchive|url=https://web.archive.org/web/20081119071252/http://www.troyworks.com/cogs/ |date=2008-11-19  }}, 2007
* Cassandras, C., Lafortune, S., "Introduction to Discrete Event Systems". Kluwer, 1999, {{ISBN|0-7923-8609-4}}.
* Timothy Kam, ''Synthesis of Finite State Machines: Functional Optimization''. Kluwer Academic Publishers, Boston 1997, {{ISBN|0-7923-9842-4}}
* Tiziano Villa, ''Synthesis of Finite State Machines: Logic Optimization''. Kluwer Academic Publishers, Boston 1997, {{ISBN|0-7923-9892-0}}
* Carroll, J., Long, D., ''[https://philpapers.org/archive/CARTOF.pdf Theory of Finite Automata with an Introduction to Formal Languages]''. Prentice Hall, Englewood Cliffs, 1989.
* Kohavi, Z., ''Switching and Finite Automata Theory''. McGraw-Hill, 1978.
* Gill, A., ''Introduction to the Theory of Finite-state Machines''. McGraw-Hill, 1962.
* Ginsburg, S., ''An Introduction to Mathematical Machine Theory''. Addison-Wesley, 1962.