Bibliografia

• J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho, 2005. Livro em preparação: os capítulos 2, 3 e 4 já estão disponíveis.
• A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. Documento em preparação: versão actual.

Fichas

• Ficha 1.
• Ficha 2.
• Ficha 3.
• Ficha 4.
• Ficha 5.
• Ficha 6.
• Ficha 7.
• Ficha 8.
• Ficha 9.
• Ficha 10.
• Ficha 11.
• Ficha 12.

Testes

• 2007/08: normal, recurso e especial.
• 2008/09: normal e recurso.

Outros

• Formulário (v1.0).
• Biblioteca Haskell para programar em point-free (v0.3).