@inproceedings{378811,
 author = {Robert DeLine and Manuel Fähndrich},
 title = {Enforcing high-level protocols in low-level software},
 booktitle = {Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation},
 year = {2001},
 isbn = {1-58113-414-2},
 pages = {59--69},
 location = {Snowbird, Utah, United States},
 doi = {http://doi.acm.org/10.1145/378795.378811},
 publisher = {ACM Press},
 }