Enforcing high-level protocols in low-level software. (2001)

by R DeLine, M Fahndrich
Venue:In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),