this is a theoretical description of our method, and gives the reaoning why it is correct, plus the assesment of size and complexity order.
...plus a started draft of the list diff algorithm
