@techreport{OConnorDavis_KAMKCR_14:tr,
    address          = {Sydney, Australia},
    author           = {O'Connor, Liam and Keller, Gabriele and Amani, Sidney and Murray, Toby and Klein, Gerwin and Chen,
                        Zilin and Rizkallah, Christine},
    institution      = {NICTA},
    issn             = {1833-9646-8393},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8393.pdf},
    title            = {{{CDSL}} Version 1: Simplifying Verification with Linear Types},
    type             = {Technical Report},
    year             = {2014}
  }