Spécification opérationnelle en ADA d'un noyau pour le langage ADA — Robert Ogor, Robert Ogor