State-Trace Analysis - Dunn, John C. (Springer International Publishing, 2018)