@inbook{hinze-2019-self, title={Self-certifying Railroad Diagrams: Or: How to Teach Nondeterministic Finite Automata}, ISBN={9783030336363}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-030-33636-3_5}, DOI={10.1007/978-3-030-33636-3_5}, booktitle={Mathematics of Program Construction}, publisher={Springer International Publishing}, author={Hinze, Ralf}, year={2019}, pages={103–137} }