B
[Bok18] Udi Boker. Why these automata types?. In LPAR'18, EPiC Series in Computing 57, pages 143-163. EasyChair, November 2018. 
@inproceedings{lpar2018-Bok,
  author =              {Boker, Udi},
  title =               {Why these automata types?},
  editor =              {Barthe, Gilles and Sutcliffe, Geoff and Veanes,
                         Margus},
  booktitle =           {{P}roceedings of the 22nd {I}nternational
                         {C}onference {L}ogic {P}rogramming and {A}utomated
                         {R}easoning ({LPAR}'18)},
  acronym =             {{LPAR}'18},
  publisher =           {EasyChair},
  series =              {EPiC Series in Computing},
  volume =              {57},
  pages =               {143-163},
  year =                {2018},
  month =               nov,
  doi =                 {10.29007/c3bj},
}
List of authors