{. 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)
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)