Footnotes

 

(1)

SRI International, Menlo Park, USA. On leave from BRICS, Aarhus, Denmark.  

(2)

The formatting of mathematical symbols inside CASL specification environments differs slightly from that in ordinary math mode.  

(3)

The contents is in the same mode.  

(4)

The item labels are in text mode, the item bodies are in paragraph mode.  

(5)

The item labels are in text mode, the item bodies are in paragraph mode.  

(6)

The contents are in the LR mode or math mode.  

(7)

The arguments are in math mode.