Editor: Estrela Vermelha, Série: Porto, Postal: n.º 15a. Legenda: Porto - Igreja de Santo Ildefonso (2.ª edição). Observações: