Werkliedenpersoneel : werkhuisverordening : pensioenstatuut : G.R. 17 april 1939 - 16 october 1939. (Volksdrukkerij,, 1939)