Polishing the Diamond: Core Library Improvements in Java 9 by Richard Warburton, Raoul Gabriel Urma