Nicola Angius, Giuseppe Primiero: The logic of identity and copy for computational artefacts. J. Log. Comput. 28(6): 1293-1322 (2018)