Om endringer i lov om aldersgrensen for offentlige tjenestemenn av 14. mai 1917 m. tilleggslover, ot. prp. nr. 55, innst. O. nr. 62, O.tid. 334—35, besl. O. nr. 91, L.tid. 64, sanksjon O.tid. 637, lov av 20. mai 1939, lovheftet side 41.