On the design of a Galculator - Silva, Paulo Filipe Araújo da (2009)
Tese de doutoramento em Informática (ramo de conhecimento em Fundamentos da Computação)