Fra hovedregister:
Det endelige statsbudsjett for terminen 1. juli 1952—30. juni 1953, , S.tid. 2441—58. [Sum kr. 4 322 051 800 + Svalbardbudsjettet kr. 1 125 500. Vedlegg til bsj.innst. S. III B: Spesifikasjon over forskjellige bevilgede budsjettposter og summarisk oversikt over statsbudsjettet sammenholdt med statsbudsjettprp. med tilleggsprp.]