EXA 2011 - Bühler, Paul; Hartmann, Olaf; Marton, Johann; Suzuki, Ken; Widmann, Eberhard; Zmeskal, Johann (Springer Netherlands, 2012)