I. Stark, “Names, Equations, Relations: Practical Ways to Reason about ’new’”, BRICS, vol. 3, no. 31, Sep. 1996.