Paths: An Abstract Alternative to Pointers. - Robert Cartwright; Robert Hood; Philip Mathews (POPL, 1981)