Papers tagged referential transparency