.pn 47
.bp
.SZ 10 13
.HD
.fo ''- % -''
.ce
\fBAppendix 2 \(em Index of Non-Terminals\fR
.sp 1.5
.2c
.nf
abstract_spec,  4
arguments,  24
array_constructor,  23
assignment_statement,  14
basic_type,  7
block,  6
block_component,  6
body_component,  6
call_statement,  17
capability_definition,  8
concrete_spec,  4
concurrent_command,  22
concurrent_invocation,  22
concurrent_statement,  22
constant_declaration,  9
create_statement,  21
declaration,  7
decrement_statement,  14
denotation,  24
destroy_statement,  21
direction,  16
do_statement,  15
else_command,  15
enumeration_definition,  7
exit_code,  14
exit_statement,  16
expression,  23
extend_clause,  5
field_definition,  8
finalization,  6
for_all_statement,  15
global_component,  3
global_declaration,  3
guarded_command,  15
if_statement,  15
implementation_statement,  18
import_clause,  5
import_source,  23
increment_statement,  14
indices,  24
initialization,  6
initialized_variable,  9
input_statement,  18
interaction_quantifier,  19
interaction_statement,  17
invocation_statement,  17
literal,  23
location,  21
next_statement,  16
object_name,  24
op_restriction,  10
operand,  23
operation,  17
operation_command,  18
operation_declaration,  10
operation_definition,  10
operation_guard,  19
operation_indication,  19
operation_name,  10
operation_specification,  10
operation_subscripts,  19
optype_declaration,  10
P_statement,  18
parameter_kind,  10
parameter_spec,  10
pointer_definition,  8
post_processing,  22
proc,  11
process,  12
process_name,  12
process_quantifier  12
quantifier,  16
range,  9
receive_statement,  18
record_constructor,  23
record_definition,  7
reply_statement,  18
resource_body,  5
resource_component,  4
resource_control_statement,  21
resource_location,  21
resource_name,  21
return_clause,  19
return_part,  11
return_spec,  10
return_statement,  18
scheduling_expression,  19
send_statement,  17
separate_body,  4
separate_spec,  4
sequential_statement,  14
skip_statement,  14
slice,  24
spec_and_body,  4
spec_component,  5
statement,  13
stop_statement,  14
string_definition,  7
subscripts,  9
substring,  24
such_that,  16
swap_statement,  14
synchronization_expression,  19
system_component,  3
type,  7
type_declaration,  7
type_definition,  7
type_part,  9
type_restriction,  7
uninitialized_variable,  9
V_statement,  17
variable,  14
variable_declaration,  9
variable_definition,  9
variable_name,  9
vector_element,  23
vm_location,  21
.fi
.1c
