@inproceedings{DOM,
  author = {Raad, Azalea and {Fragoso Santos}, Jos{\'{e}} and Gardner, Philippa},
  title = {{DOM:} Specification and Client Reasoning},
  booktitle = {Proceedings of the 13\textsuperscript{th} Asian Symposium on Programming Languages and Systems (APLAS'16)},
  year = {2016},
  pages = {401--422},
  abstract = {We present an axiomatic specification of a key fragment of DOM using structural separation logic. This specfication allows us to develop modular reasoning about client programs that call the DOM.},
  doi = {10.1007/978-3-319-47958-3_21}
}