@misc{misc0819afcf, title = {The line-justifier: an example of program development by transformations}, author = {Hesse, William and Setzer, Valdemar Waingort}, year = {1978}, publisher = {IME-USP} }