Handbook of Trace Analysis - Irena Baranowska (Springer, 2016)