The Shippingport pressurized water reactor - Naval Reactor Branch - THE SHIPPINGPORT PRESURIZED WA (Addison Wesley Publishing company, 1958)