Go backward to 6.2 Named and Parametrized Specifications
Go up to 6 Structuring Constructs
Go forward to 6.4 Symbol Lists and Mappings
[CHANGED:] Views between specifications are named by view definitions, and referenced
by use of the name. A named view may also have some
parameters, which have to be instantiated when referencing the
Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to firstname.lastname@example.org