"A Formal Implementation of Value Commitment."

Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics