Down with variables - Cunha, Alcino (2005)
Techn. Report DI-PURe-05.06.01