Étant donné que les langues officielles seules n'ont pas de sémantique, d'autres constructions formelles sont nécessaires pour la spécification formelle de la sémantique du programme.
, chapitre 6 Algebra des langues officielles.