Schmitt, Susanne Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Schmitt, S.(2004). Improved separation bounds for the diamond operator (ECG-TR-363108-01). Sophia Antipolis: INRIA.