Propagation of JML non-null annotations in Java programs. - Maciej Cielecki; Jedrzej Fulara; Krzysztof Jakubczyk; Lukasz Jancewicz (PPPJ, 2006)