Cessação da relação jurídica de emprego público por tempo indeterminado com a trabalhadora Maria de Lurdes Rocha Correia por motivo de passagem à situação de pensionista