Process Mining Techniques in Business Environments Theoretical Aspects, Algorithms, Techniques and Open Challenges in Process Mining - Burattin, Andrea (Springer International Publishing : Imprint: Springer, 2015)