@phdthesis{diaa,
  title = "Distributive Interaction of Algebraic Effects",
  author = "Kwok-Ho Cheung",
  year = "2017",
  url = "https://ora.ox.ac.uk/objects/uuid:66106628-0a71-4564-bc34-c398db766818",
}