Proving JDK's dual pivot quicksort correct
scientific article; zbMATH DE number 6990582