Diário da República, 2nd Series - No. 135 - July 17, 2019
Diário da República, 2nd series — No. 159 — August 20, 2018
Diário da República, 2nd series — No. 229 — November 26, 2013
Diário da República, 1st series — No. 135 — July 16, 2014
Diário da República, 1st series — No. 138 — July 20, 2016
Diário da República, 2nd series — No. 221 — November 14, 2013