Author: Encontro de Algebristas Portugueses (2nd 1987 Universidade do Porto)