Declaring and checking non-null types in an object-oriented language (2003)

by M Fähndrich, K R M Leino
Venue:In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA