Gaifman, H.
1988. “
Operational Pointer Semantics: Solutions to Self-Referential Puzzles, I.” In Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, edited by
Vardi, M., pp.
43–
60.
Los Altos, CA:
Kaufman.
Google Scholar