Calculating with pointer structures (1997)

by B Möller
Venue:In Algorithmic Languages and Calculi. Proc. IFIP TC2/WG2.1 Working Conference