Algebraic laws for object oriented programming with references. - Giovanny Fernando Lucero Palma (2015)