The shippingport pressurized water reactor (Addison-Wesley, 1958)