BACKWARD SUBSTITUTION

The statements read(a) and read(b)
correspond to:

a := input1;

b := input2;

The subscripts are necessary to
distinguish the two input data.

The statement output(x)
corresponds to:

output := x