Formulae and tables for actuarial examinations (Institute of Actuaries and Faculty of Actuaries, 1980)