ABSTRACT
We structure programs as follows. To name a particular program, we will use program <name> in the opening line. e variables and constants of a program will be introduced in the define section, and any initial values will be separately declared in the initially section. is will be followed by the program statements. We will designate a message as a variable
of type message. If the structure of the message is important, then we will optionally dene it as a record. us, a message m with three components a, b, c will be denoted as follows:
e individual components of m will be designated by m.a, m.b, and m.c. For representing other forms of structured data, we will freely use Pascal-like notations.
