Sequential Refinement, cont.

• Example 1:

/* Drive from Ithaca to NYC. */

{

/* Drive from Ithaca to Binghamton */

. . .

/* Drive from Binghamton to NYC */

. . .

}

• Example 2:

/* Drive from Ithaca to NYC. */

{

/* Drive from Ithaca to Albany. */

. . .

/* Drive from Albany to NYC. */

. . .

}