@InBook{          synthesis-walukiewicz,
  Author        = "Walukiewicz, Igor",
  date-added    = "2019-10-25 12:12:21 +0200",
  date-modified = "2019-10-25 12:12:52 +0200",
  Title         = "Synthesis with finite automata",
  File          = "Synthesis with finite automata - igw-synt-chapter - a - a - e.pdf"
}

@InBook{ synthesis-walukiewicz, Author = "Walukiewicz, Igor", date-added = "2019-10-25 12:12:21 +0200", date-modified = "2019-10-25 12:12:52 +0200", Title = "Synthesis with finite automata", File = "Synthesis with finite automata - igw-synt-chapter - a - a - e.pdf" }