Shuffle littéral : étude formelle et applications / Béatrice Bérard, 1985 [Thèse]
Systèmes d'exploitation, concepts et algorithmes / J. Beauquier, B. Bérard, 1989
https://www.lip6.fr, consulté : 2022-06-21
Information trouvée : Professeure émérite, en poste au Laboratoire d'informatique LIP6, Equipe Modélisation
et vérification (MoVe), Sorbonne université, Paris (en 2022)