@inproceedings{Cheney_VN_09,
    address          = {York},
    author           = {Cheney, James and Vestergaard, Ren\'e and Norrish, Michael},
    booktitle        = {2nd International Workshop on Theory and Applications of Abstraction, Substitution and Naming},
    editor           = {{Maribel Fernández}},
    month            = mar,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1804.pdf},
    title            = {Formalizing adequacy},
    year             = {2009}
  }