Markov Chain Aggregation for Agent-Based Models - Sven Banisch (Springer, 2016)