@phdthesis{Chen:phd,
    address          = {Sydney, Australia},
    author           = {Zilin Chen},
    doi              = {https://doi.org/10.26190/unsworks/24733},
    month            = mar,
    paperurl         = {https://trustworthy.systems/publications/papers/Chen%3Aphd.pdf},
    school           = {UNSW},
    title            = {Towards A Practical High-Assurance Systems Programming Language},
    type             = {{PhD} Thesis},
    url              = {http://hdl.handle.net/1959.4/101026},
    year             = {2023}
  }