Snapshot-Based Methods and Algorithms. - Benner, Peter. (Walter de Gruyter GmbH, 2020)