Rigorous State-Based Methods - Raschke, Alexander (Springer International Publishing, 2020)