Fra hovedregister:
Den kgl. prp. om statsbudsjettet for budsjettåret 1. juli 1957—30. juni 1958 («Den gule bok»), St. prp. nr. 1 med vedlegg, inntatt i bd. 1 a av Stortingsforhandlingene. [Vedlegg til den kgl. prp.: Statsregnskapet for budsjett-terminen 1955—56 med spesifikasjoner og forklaringer m. v. — foreslått budsjett (unntatt Svalbard) kr. 5 541 000 000.]