Texto oficial
Art. 3.° Los empleados ingresados al servicio, a partir de la promulgacion de este Decreto-Lei y que completaren treinta años de servicios y cincuenta y cinco años de edad, se retirarán con los derechos que acuerdan las disposiciones de este Decreto-Lei y Reglamento de aplicacion.