Naming and necessity from a functional point of view - Kiritani, Osamu (Array, 2013)