.bp
.SP
.SZ 10 13
.(l
.ce
\fBTable of Contents\fR

.ta 4.5i
1.  Introduction                        	#1
      1.  History and References           	#1
      2.  Vocabulary and Notation        	#2
2.  System Components (Compilation Units)    	#3
      1.  Globals                       	#3
      2.  Resources                         	#4
      3.  Scope Rules and Naming              	#6
      4.  Program Execution             	#7
3.  Types and Declarations               	#7
      1.  Type Declarations             	#7
      2.  Variables and Constants            	#9
      3.  Operation-Type Declarations        	10
      4.  Operation Declarations           	10
4.  Procedures and Processes            	11
      1.  Procs                          	11
      2.  Processes                      	12
5.  Sequential Statements                	13
      1.  Skip                          	14
      2.  Stop                          	14
      3.  Assignment                     	14
      4.  Alternation                        	15
      5.  Iteration                        	15
6.  Interaction Statements                 	17
      1.  Operation Invocation                	17
      2.  Operation Implementation            	18
      3.  Resource Control                   	21
      4.  Concurrent Invocation             	22
7.  Expressions and Type Checking           	23
      1.  Expressions                      	23
      2.  Literals                           	23
      3.  Denotations                     	24
      4.  Operators                        	25
      5.  Pre-Defined Functions            	26
      6.  Signatures and Type Checking     	27
8.  Input/Output and External Operations	28
      1.  Files and File Access          	29
      2.  Argument Access                	31
      3.  External Operations               	31
9.  Examples                               	32
      1.  Sort Program                      	32
      2.  Pipeline Sort                   	33
      3.  Bounded Buffer                   	35
      4.  Network Topology                   	37
Appendices                              	43
      1.  Language Synopsis                	43
      2.  Index of Non-Terminals           	47
      3.  Running SR Programs             	49
      4.  Manual Pages                     	51
.if n  .ta 8n 16n 24n 32n 40n 48n 56n  64n
.if t  .ta .5i 1.0i 1.5i 2.0i 2.5i 3.0i 3.5i 4.0i
.)l
