Abschaltsysteme von Leichtwasserreaktoren. (Berlin : DIN, 1985)