Control flow semantics - Bakker, Jacobus W. de 1939-2012; Vink, Eric de (MIT Press, 1996)