Collaborations between José Maria Amorim and Osvaldo Pires de Lima