Laws of Programming for References. - Giovanny Lucero; David A. Naumann; Augusto Sampaio 001 (APLAS, 2013)