@Inproceedings{EPTCS308.3,
  author    = {K\"unnemann, Robert and Garg, Deepak and Backes, Michael},
  year      = {2019},
  title     = {Causality \& Control Flow},
  editor    = {Caltais, Georgiana and Krivine, Jean},
  booktitle = {{\rm Proceedings of the 4th Workshop on}
               Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology,
               {\rm Prague, Czech Republic, 7th April 2019}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {308},
  publisher = {Open Publishing Association},
  pages     = {32-46},
  doi       = {10.4204/EPTCS.308.3},
}