Point-free program calculation - Cunha, Alcino (2005)
Tese de doutoramento em Informática, ramo de Fundamentos da Computação