@incollection{Moeller1997, author = {Bernhard M{\"o}ller}, title = {Calculating with pointer structures}, booktitle = {Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17 - 22 February 1997, Alsace, France}, editor = {Richard Bird}, isbn = {0-412-82050-1}, year = {1997}, }