@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} }