State-Trace Analysis - Dunn, John C.; Dunn, John C.; Kalish, Michael L. (Springer International Publishing : Imprint: Springer, 2018)