Contribution à l'étude de la logique algorithmique : systèmes de déduction pour les
arbres et les schémas de programmes / Patrice Enjalbert ;[sous la direction de M.
Nivat], 1981
Logique temporelle : sémantique et validation de programmes parallèles / E. Audureau,
P. Enjalbert, L. Fariñas del Cerro, 1990
Information trouvée : Professeur à l'Université de Caen
https://dumas.ccsd.cnrs.fr/ENSI-CAEN/halshs-00009382, 20201126
Information trouvée : Patrice Enjalbert, Laboratoire GREYC - UMR6072, Caen en 2006