Rigorous State-Based Methods - Raschke, Alexander; Houdek, Frank; Méry, Dominique (Springer International Publishing, 2020)