(језик: енглески)Fruja, Nicu G. (oktobar 2004). „The Correctness of the Definite Assignment Analysis in C#”. Journal of Object Technology. 3 (9): 29–52. doi:10.5381/jot.2004.3.9.a2. Приступљено 2. 12. 2008. „We actually prove more than correctness: we show that the solution of the analysis is a perfect solution (and not only a safe approximation).”
(језик: енглески)Fruja, Nicu G. (oktobar 2004). „The Correctness of the Definite Assignment Analysis in C#”. Journal of Object Technology. 3 (9): 29–52. doi:10.5381/jot.2004.3.9.a2. Приступљено 2. 12. 2008. „We actually prove more than correctness: we show that the solution of the analysis is a perfect solution (and not only a safe approximation).”
sun.com
java.sun.com
(језик: енглески){cite web |author1=J. Gosling |author2=B. Joy |author3=G. Steele |author4=G. Bracha | title = The Java Language Specification, 3rd Edition | url= http://java.sun.com/docs/books/jls/third_edition/html/defAssign.html | accessdate = 2. 12. 2008. |pages = Chapter 16 (pp. 527–552)}}