From high to low: Simulating nondeterminism and state with state - Tang, Wenhao (Journal of Functional Programming, 2024)