Bernhard Möller: Calculating With Pointer Structures (Extended Abstract). RelMiCS 1997: 113-122