"Enforcing High-Level Protocols in Low-Level Software."

Robert DeLine, Manuel Fähndrich (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics