Hiep, H.-D., Maathuis, O., Bian, J., de Boer, F., van Eekelen, M., & de Gouw, S. (2020). Verifying OpenJDK's LinkedList using KeY. In TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems (pp. 217–234). doi:10.1007/978-3-030-45237-7_13