hinze-2019-self:
  type: chapter
  title: 'Self-certifying Railroad Diagrams: Or: How to Teach Nondeterministic Finite Automata'
  author: Hinze, Ralf
  date: 2019
  page-range: 103-137
  url: http://dx.doi.org/10.1007/978-3-030-33636-3_5
  serial-number:
    doi: 10.1007/978-3-030-33636-3_5
    isbn: '9783030336363'
    issn: 1611-3349
  parent:
    type: book
    title: Mathematics of Program Construction
    publisher: Springer International Publishing