Ieee: 0765 - 1983; Preferred Power Supply For Nuclear Power Generating Stations - IEEE 1983

/