Reactive extraction - Bart, Hans-Jörg (Springer, 2001)