@misc{misc9374e160,
title   = {Desenvolvimento de programas por transformações: uma comparação entre dois métodos},
author = {Setzer, Valdemar Waingort and Bressan, Graça},
year = {1978},
publisher = {IME-USP}
}