S. Béguelin, G. Betarte, and C. Luna. Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, page 220-234. Springer, (2006)
G. Barthe, B. Grégoire, S. Heraud, and S. Béguelin. Formal Aspects in Security and Trust, volume 5491 of Lecture Notes in Computer Science, page 1-19. Springer, (2008)
{. Béguelin. Collection des thèses de la Faculté des Sciences Economiques et Sociales / Université de Genève Lang, Berne u.a., Impression d'après le manuscrit de l'auteur edition, (1976)