Título: Translating alloy specification to the point-free style
Ficheiro: eeum_di_dissertacao_pg13318.pdf