Computer algebra in modern functional languages. - José Romildo Malaquias (2001)