Nada Amin, Ross Tate:Java and Scala’s Type Systems are Unsound: The Existential Crisis of Null Pointers. In: ACM (Hrsg.): OOPSLA 2016. New York 2016, ISBN 978-1-4503-4444-9, S.838–848 (englisch, githubusercontent.com[PDF; 215kB; abgerufen am 31.März 2017]).