Texto oficial
Artículo 42.- El descuento establecido por la letra a) del artículo 3.o se efectuará durante todo el tiempo que el empleado permanezca en el servicio; pero la pensión de jubilación no podrá exceder de la renta anual de que disfrutare al tiempo de jubilar.