@book{Peters2022,
  author    = {Kirstin Peters},
  title     = {Translational expressiveness: comparing process calculi using encodings},
  doi       = {10.14279/depositonce-3416},
  year      = {2022},
}