Like the formal definitions of the other GOOD operations
that will be presented in this section, the above definition of
node addition is given in a “declarative” style. To show that the
definition corresponds to a “procedural” semantics, we give an
algorithm to compute the result of a node addition operation
in Fig. 9. The algorithms for the other operations are similar.