Nuclear Reactor Power Systems: Concepts & Proofs - View it on GitHub