Formal/contrastive correspondence and translation equivalence - Ivir, Vladimir (Array, 1997)