De Line, R. and M. Faehndrich. Enforcing high-level protocols in low-level software. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), pages 59-69, Snowbird, Utah, June 2001.

Languages mentioned

• Vault {0}