A Model for Implementing Cosequential Processes: Merging I
The matching procedure can easily be modified to handle merging of two lists.
An important difference between matching and merging is that with merging, we must read completely through each of the lists.
We have to recognize, however, when one of the two lists has been completely read and avoid reading again from it.