Operational Pointer Semantics: Solution to Self-Referential Puzzles I.

Haim Gaifman Operational Pointer Semantics: Solution to Self-Referential Puzzles I. 43-59 1988 conf/tark/1988 TARK db/conf/tark/tark1988.html#Gaifman88