Août 1999
La syntaxe formelle (d'un sous-ensemble) du langage Spec est décrite un peu plus bas. Mais tout d'abord, nous expliquons brièvement la notation employée pour décrire cette syntaxe.