A method to process identities and construct examples in the computer, X Escola de Algebra, Soc. Bras. de Mat., Colecao Atas vol. 16, 109-119, Rio de Janeiro, 1990.

---