A Primer on Process Mining - Diogo R. Ferreira (Springer, 2017)