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