Resolução da Assembleia da República n.º 19/89
Eleição para o Tribunal Constitucional
A Assembleia da República, na sua reunião plenária de 11 de Julho de 1989, resolveu, nos termos dos artigos 166.º, alínea h), 169.º, n.º 4, e 284.º, n.os 1 e 2, da Constituição, designar como juízes do Tribunal Constitucional o licenciado em Direito António Manuel de Carvalho Ferreira Vitorino, o juiz conselheiro Antero Alves Monteiro Dinis, o advogado Armindo António Lopes Ribeiro Mendes, o advogado José Inácio Clímaco de Sousa e Brito, o juiz de direito José Manuel Moreira Cardoso da Costa, o juiz de direito José Manuel Sepúlveda Bravo Serra, o licenciado em Direito Luís Manuel César Nunes de Almeida, a licenciada em Direito Maria da Assunção Andrade Esteves, o juiz desembargador Messias José Caldeira Bento e o juiz desembargador Vítor Manuel Neves Nunes de Almeida.

Aprovada em 11 de Julho de 1989.
O Presidente da Assembleia da República, Vítor Pereira Crespo.