Ireland (Eire). Working Party on Decimal Currency.