@book{StoffelKunz1997,
  author    = {Dominik Stoffel and Wolfgang Kunz},
  title     = {Structural FSM traversal : theory and a practical algorithm},
  volume    = {1997, 05},
  year      = {1997},
}