Diário da República, 2ª Série - nº 135 - 17 de julho de 2019
Diário da República, 2.ª série — N.º 159 — 20 de agosto de 2018
Diário da República, 2.ª série — N.º 229 — 26 de novembro de 2013
Diário da República, 1.ª série — N.º 135 — 16 de julho de 2014
Diário da República, 1.ª série — N.º 138 — 20 de julho de 2016
Diário da República, 2.ª série — N.º 221 — 14 de novembro de 2013