Unifying Theories in Different Institutions. - M. Arrais; José Luiz Fiadeiro (COMPASS/ADT, 1995)