TY - BOOK AU - Alexander Raschke, Dominique Méry TI - Rigorous State-Based Methods SN - 9783030775438 PB - Springer UR - https://link.springer.com/openurl?genre=book&isbn=978-3-030-77543-8 ER -