
    <h3>Program Structure</h3>

<pre>
Program      : "PROGRAM" Identifier "(" ParameterDecl (";" ParameterDecl)* ")" ":" "INTEGER" ";"
               Declarations "BEGIN" StatementSeq "END" Identifier ".".
StatementSeq : Statement*.
</pre>

    A program specifies a computation by describing a sequence of
    actions.  A computation specified in Obr may be realized by any
    sequence of actions having the same effect as the one described
    here for the given computation.  The meaning of constructs that 