notación

notación musical

notation musicale

notación máquina abstracta

notation de la méthode B

notación de sintaxis abstracta

notation de syntaxe abstraite