[1]
I. Stark, “Names, Equations, Relations: Practical Ways to Reason about new”, BRICS, vol. 4, no. 39, Jun. 1997.