Control flow semantics - Bakker, J. W. de, 1939-2012 (MIT Press, 1996)