Complete trace models of state and control - Jaber, G; Murawski, AS (Programming Languages and Systems. ESOP 2021., 2021)