Stark. Names, Equations, Relations: Practical Ways to Reason About 'new'. no. 31, Aarhus University Library, Sept. 1996, doi:10.7146/brics.v3i31.21675.