@misc{GomezLondono_AmanPohjola_18,
    address          = {Oslo, Norway},
    author           = {G\'omez-Londo\~no, Alejandro and {\AA}man Pohjola, Johannes},
    booktitle        = {Nordic Workshop on Programming Theory},
    date             = {2018-10-24},
    isbn             = {9788273684509},
    month            = oct,
    note             = { at Nordic Workshop on Programming Theory},
    paperurl         = {https://trustworthy.systems/publications/full_text/GomezLondono_AmanPohjola_18.pdf},
    publisher        = {N/A},
    title            = {Connecting Choreography Languages With Verified Stacks},
    year             = {2018}
  }