Cálculo dos prémios anuais de renda vitalícia de sobrevivência com contra-seguro / Alfredo da Costa Miranda