For what it’s worth: http://www.heise.de/newsticker/meldung/Fehler-in-Standardsortieralgorithmus-mit-formalen-Methoden-aufgedeckt-2570944.html On March 11, 2015 / Science, Software