the shippingport pressurized water reactor - "0, . " (usa : addison-wesley, 1958)