Mohamed Moalla: L'approche fonctionnelle dans la vérification des systèmes informatiques : proposition d'un ensemble de méthodologies. Grenoble Institute of Technology, France 1976