sur 7
State-Trace Analysis — John C. Dunn, Michael L. Kalish