publication venue for Semantics of pointers, referencing and dereferencing with intensional logic 1991