"Certificate translation for specification-preserving advices."

Gilles Barthe, César Kunz (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics