Rahma Ben Ayed, Hafedh Mili, Ali Mili: Capturing pointer semantics and scoping rules. RelMiCS 1998: 3-7