Algorithm development through correct transformations - Masiero, Paulo Cesar (Revista Brasileira de Computacao, 1990)