Schmitt, S.(2004). Improved separation bounds for the diamond operator (ECG-TR-363108-01). Sophia Antipolis: INRIA.