Go up to Appendix: Tentative Abstract Syntax of CASL
Go forward to Basic Specifications
Identifiers
ID ::= SIMPLE-ID
SIMPLE-ID -- structure insignificant for abstract syntax
CoFI Tentative Document: Mosses97TAPSOFT --TAPSOFT'97-- April 1997.
Comments to pdmosses@brics.dk