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

by Robert DeLine, Manuel Fahndrich
Venue:In Proc. of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI