State-Trace Analysis - John C. Dunn, Michael L. Kalish (Springer, 2018)