Algebraic laws for object oriented programming with references - PALMA, Giovanny Fernando Lucero (2015)