Frank Thomson Leighton Yuan Ma Tight Bounds on the Size of Fault-Tolerant Merging and Sorting Networks with Destructive Faults. 258-273 1999 29 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp29.html#LeightonM99