Notions de base pour une théorie de l'informatique — J. R. Abrial